// Code to provide a cross-browser getElement function

if (document.getElementById)
{
	getElement = function(id)
	{
		return document.getElementById(id);
	}
}
else if (document.all)
{
	getElement = function(id)
	{
		return document.all[id];
	}
}
else
{
	getElement = function(id)
	{
		return false;
	}
}


function highlightPic( sID )
{
	getElement(sID).style.border = 'solid 2pt #ffcef4';
}

function unhighlightPic( sID )
{
	getElement(sID).style.border = 'solid 2pt E01515';
}