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