document.write('42400 ');