function Menu_Highlight(page){
	document.getElementById(page).src = 'images/tab_'+page+'_on.gif';
}