function gallery_thumbnail_div_rollover(picinfo)
{
	if (button_state == "ready")
		{
			picinfo.style.borderColor = "#390437";
		}
}
		
function gallery_thumbnail_div_rollout(picinfo)
{
if (picinfo.style.borderColor !== "darkblue")
	{
		picinfo.style.borderColor = "#c3c3c3";
	}
}