document.write('42038 ');