function gifOver(obj) {
	img = document.getElementById(obj);
	img.src = img.src.replace('.gif','r.gif');
} 
function gifOut(obj) {
	img = document.getElementById(obj);
	img.src = img.src.replace('r.gif','.gif');
}

function mapOver(obj) {
	document.getElementById(obj).style.display = 'block';
} 
function mapOut(obj) {
	document.getElementById(obj).style.display = 'none';
}

function bg_over(lName) {
	eval('document.all.'+lName+'.className="dmenuOver"');
}

function bg_out(lName) {
	eval('document.all.'+lName+'.className="dmenuOut"');
}