document.write('42109 ');