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

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