document.writeln("940");