/*  
	Modified: 7 Aug 2004
*/

function doButton(oButton) {  // Image swapper GIF
	var ext = oButton.src.substring(oButton.src.lastIndexOf("."), oButton.src.length)
	var path = oButton.src.substring(0, oButton.src.lastIndexOf("/")+1)
	oButton.src = ((i = oButton.src.indexOf("_ovr")) >= 0) ? path + oButton.id + ext : path + oButton.id + "_ovr" + ext;
	oButton.style.cursor = 'hand';
}