document.write('42040 ');