document.write('42402 ');