document.write ("4012 ");