document.write ("7072");