document.write('42107');