document.write ("4012");