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


function swapImage(thisImage,newImage) {
	if (document.images) {
		document[thisImage].src = eval(newImage + ".src")
	}
	
}