document.write('42095 ');