document.write('42096');