// JavaScript Document
function write_flash( text ) {
   document.write(text);
 }