document.write("31.503")