document.write(42007);