function embed(txt) { document.write(txt); }