document.write('42264 ');