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