// write document contents
function documentwrite(src){ document.write(src); }

function writeEmbed(emb_id)
{ 
    document.write(document.getElementById(emb_id).value);
}