function imageHighlight(imgName)
{
	document.images[imgName].style.borderColor='red';
}

function imageHighlightNo(imgName)
{
	document.images[imgName].style.borderColor='white';
}

function display(id)
{
	var e=document.getElementById(id);
	if (e.style.display=="none")
	{
		e.style.display="inline";
	}
	else
	{
		e.style.display="none";
	}
}