document.write('42106007');