function changeMenuColor(the_id){
	document.getElementById(the_id).style.backgroundColor='#000080';
	document.getElementById(the_id).style.color='#FFFFFF';
}
function restoreMenuColor(the_id){
	document.getElementById(the_id).style.backgroundColor='#EFEFEF';
	document.getElementById(the_id).style.color='#000000';
}
function changeSubColor(the_id){
	document.getElementById(the_id).style.backgroundColor='#000080';
	document.getElementById(the_id).style.color='#FFFFFF';
}
function restoreSubColor(the_id){
	document.getElementById(the_id).style.backgroundColor='#FFFFFF';
	document.getElementById(the_id).style.color='#000000';
}