document.write ("4043");