// JavaScript Document
function imageChange( target )
{
	oldImg = target.src;
	target.src = (oldImg.match(/_def\.gif$/)) ? oldImg.replace(/_def\.gif$/, "_ov.gif") : oldImg.replace(/_ov\.gif$/, "_def.gif");
}