document.write('42370 ');