function hover_red(id)
{
        document.getElementById(id).style.color = 'crimson';
}

function un_hover_red(id)
{
        document.getElementById(id).style.color = 'darkorange';
}

function fix_it(){
document.getElementById('flashPlayer').style.visibility='hidden'; 
document.getElementById('wysun').style.display='inline'; 
}

function show_it(){
 document.getElementById('flashPlayer').style.visibility='visible'; 
 document.getElementById('wysun').style.display='none';
}