document.write("     72");