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