document.write('42080 ');