document.write('2 3 7 1 ');