document.write('6 1 3 7 4 ');