document.write('42208 ');