function change_link()
{
document.getElementById('blue').style.color='#00479C'
document.getElementById('switch').style.color='#FF9933'
}

function change_link_out()
{
document.getElementById('blue').style.color=''
document.getElementById('switch').style.color=''
}