if (document.images)
{
havendam0 = new Image
havendam1 = new Image
havendam2 = new Image
havendam3 = new Image
havendam4 = new Image
havendam5 = new Image
havendam6 = new Image
havendam7 = new Image
havendam8 = new Image
havendam9 = new Image
havendam10 = new Image



havendam0.src = 'images/havendam/image-map/havendam.jpg'
havendam1.src = 'images/havendam/image-map/havendam1.jpg'
havendam2.src = 'images/havendam/image-map/havendam2.jpg'
havendam3.src = 'images/havendam/image-map/havendam3.jpg'
havendam4.src = 'images/havendam/image-map/havendam4.jpg'
havendam5.src = 'images/havendam/image-map/havendam5.jpg'
havendam6.src = 'images/havendam/image-map/havendam6.jpg'
havendam7.src = 'images/havendam/image-map/havendam7.jpg'
havendam8.src = 'images/havendam/image-map/havendam8.jpg'
havendam9.src = 'images/havendam/image-map/havendam9.jpg'
havendam10.src = 'images/havendam/image-map/havendam10.jpg'


}

function findPos(obj) {
	var curleft = curtop = 0;
	if (obj.offsetParent) {
		curleft = obj.offsetLeft
		curtop = obj.offsetTop
		while (obj = obj.offsetParent) {
			curleft += obj.offsetLeft
			curtop += obj.offsetTop
		}
	}
	return [curleft,curtop];
}

//Display a named menu, at the position of another object
function display_menu(parent,infoDiv)
{
	//get the named menu
	var menu_element = document.getElementById(infoDiv);
	//override the 'display:none;' style attribute
	menu_element.style.display = "";
	//get the placement of the element that invoked the menu...
	var placement = findPos(parent);
	//...and put the menu there
	menu_element.style.left = placement[0] + "px";
	menu_element.style.top = placement[1] + "px";
}