document.write('42057 ');