var button_on = new Object()
button_on.next = "../graphics/btn_next_over.gif";
button_on.prev = "../graphics/btn_previous_over.gif";


var button_off = new Object()
button_off.next = "../graphics/btn_next.gif";
button_off.prev = "../graphics/btn_previous.gif";



function mySelect(myImg, myProp){
	myImg.src = button_on[myProp]
}

function myUnselect(myImg, myProp){
	myImg.src = button_off[myProp]
}


 function myHover(theme){
	var myTheme = document.getElementById(theme);
	myTheme.style.color = '#D02F64';
	myTheme.style.textDecoration = 'underline';
}

function myNothover(theme){
	var myTheme = document.getElementById(theme);
	myTheme.style.color = '#006FD9';
	myTheme.style.textDecoration = 'none';
}