<!--mnum.js
document.writeln("7")

//-->