document.write ("6012");