function imagehover(theid)
	{
		var ndx;
		var fname;
		var newname;
		
		fname = theid.src;
		newname = fname.replace(/.jpg/g, "_hover.jpg");
		theid.src = newname;
	}
	
	function nohover(theid)
	{
		var fname = theid.src;
		var newname = fname.replace(/_hover/g, "");
		theid.src = newname;
	}
	

//PADD! 6-Dec-03 when the mouse goes out of the button
function onButtonOut(btn)
{
	btn.style.background = '#cccccc';
	//btn.style.border = '1px solid'; 
	btn.style.cursor = 'default';
}//onButtonOut

//PADD! 6-Dec-03 when the mouse is over the button
function onButtonOver(btn)
{
	btn.style.background = '#A060ef';
	//btn.style.border = '2px solid'; 
	btn.style.cursor = 'hand';
}//onButtonOver