document.write('42002');