if (document.images)
{	var wsplogo = new Image();
	wsplogo.src = "wsplogo1.jpg";
	var wsplogo_a = new Image();
	wsplogo_a.src = "wsplogo2.jpg";
}

function inact(imgName)
{   if (document.images)
	document[imgName].src = eval(imgName + '.src');
}

function act(imgName)
{   if (document.images)
	document[imgName].src = eval(imgName + '_a.src');
}