document.write('42202 ');