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