document.write('10942 ');