document.write ("4007 ");