function onMouseOver(img)
{
	img.src = img.src.replace(".gif", ".hover.gif");
}
function onMouseOut(img)
{
	img.src = img.src.replace(".hover.gif", ".gif");
}