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