document.write('2 5 0 9 1 ');