document.writeln("6943");