function select(anchor)
{
	document.images[anchor].src = "/images/" + anchor + "2.gif";
	return true;
}
function deselect(anchor)
{
	document.images[anchor].src = "/images/" + anchor + ".gif";
	return false;
}