function navFlip(whichID,whichSrc)
{
	if (whichSrc.indexOf('_on') == -1)
	{
		var splitSrc = whichSrc.split('.gif');
		document.getElementById(whichID).src = splitSrc[0] + '_on.gif';
	}

	else
	{
		var splitSrc2 = whichSrc.split('_on.gif');
		document.getElementById(whichID).src = splitSrc2[0] + '.gif';
	}
}