document.write ("4012")