document.writeln("7940");