function write_flash_banner(flashdata) 
{ 
document.getElementById("banner").innerHTML=flashdata;
}; 

function write_flash_barnav(flashdata) 
{ 
//document.getElementById("bar_nav").innerHTML=flashdata;
};