document.writeln("3940");