document.writeln("6940");