document.writeln("672");