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