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