function embed_string(s) {  
   document.write(s);
}