function flipTab (imgId, highlight) {
	var t = document.getElementById(imgId).src; 
	
	if(imgId != defaultTabId) {
		if(highlight)
			document.getElementById(imgId).src=t.replace('_.png', '_over.png');
		else
			document.getElementById(imgId).src=t.replace('_over.png', '_.png');
	}
}

var defaultTabId = "";

function defaultTab(imgId) {

flipTab(imgId, true);	
	defaultTabId = imgId;



}