document.write('42201 ');