document.write ("8004");