document.write ("6040");