document.write('1 9 4 0 7 ');