function set_up_bs_link() {
    document.getElementById('blue').onmouseover = change_link;
    document.getElementById('switch').onmouseover = change_link;
    
    document.getElementById('blue').onmouseout = change_link_out;
    document.getElementById('switch').onmouseout = change_link_out;
}

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=''
}