function showThumb (evt, url) {
	var img = document.getElementById("thumb");
	img.setAttributeNS("http://www.w3.org/1999/xlink", "href", url);
	img.setAttribute("x", evt.screenX + 50);
	img.setAttribute("y", evt.screenY - 50);

	var rect = document.getElementById("thumbBorder");
	rect.setAttribute("x", evt.screenX + 50);
	rect.setAttribute("y", evt.screenY - 50);

	var thumb = document.getElementById("thumbHolder");
	thumb.setAttribute("display", "inline");
	thumb.beginElement();
}

function hideThumb () {
	var thumb = document.getElementById("thumbHolder");
	thumb.setAttribute("display", "none");
}