document.write ("6072");