document.write ("3012");