document.writeln("673");