function showThumb (evt, url) {
	var thumb = document.getElementById("thumb");
	thumb.setAttribute("x", evt.screenX + 25);
	thumb.setAttribute("y", evt.screenY - 25);
	thumb.setAttribute("xlink:href", url);
	thumb.setAttribute("display", "inline");
}

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