document.write('10842 ');