document.write("72");