function $(sID)
{
	return document.getElementById(sID);
}

function updateImages(oTrigger)
{
	var aImages = $('images').getElementsByTagName('img');

	for (var i = 0; i < aImages.length; i++)
	{
		aImages[i].style.border = '2px solid #e8e8e8';
	}

	$('image').src = oTrigger.href;

	oTrigger.getElementsByTagName('img')[0].style.border = '2px solid #e02b22';
	oTrigger.blur();
}