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