document.write('42250 ');