function hover_img(imgName)
{ 
	if (document.images)
	{
		document[imgName].src="images/buttons/" + imgName + "_hover.jpg";
	}
}

function normal_img(imgName)
{
	if (document.images)
	{
		document[imgName].src="images/buttons/" + imgName + ".jpg";
	}
}