document.write('1 9 0 0 8 ');