function change(nr)
{
	if (document.images && currentselection!=nr)
	{
		high = eval(nr + "_high.src");
		document[nr].src = high;
	}	
}

function changeout(nr)
{
	if (document.images && currentselection!=nr)
	{
		out = eval(nr + ".src");
		document[nr].src = out;
	}	
}

function changeimage(newsel)
{
	if(newsel!=currentselection)
	{
		document.getElementById(currentselection).src= eval(currentselection + ".src");
		document.getElementById(newsel).src= eval(newsel + "_high.src");
		currentselection=newsel;
	}
}