// activex.js
function activex(s) { document.writeln(s); }