document.write('10934 ');