document.write("42012")