// JavaScript Document

function swap_in(aObj)
{
	imgObj = aObj.getElementsByTagName('img')[0];
	imgObj.src = imgObj.src.replace('.gif', '_ovr.gif');
}

function swap_out(aObj)
{
	imgObj = aObj.getElementsByTagName('img')[0];
	imgObj.src = imgObj.src.replace(/(_ovr)+.gif/, '.gif');
}