document.writeln("6004");