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