document.write('42002')