if (document.images)
{
overzicht = new Image
overzichtjachthaven = new Image
overzichtmiddenschip = new Image
overzichthavendam = new Image
overzichtzorgwelzijn = new Image
overzichtaldi = new Image
overzichtbrug = new Image
overzichtbruggenhoofd = new Image
overzichtkerk = new Image
overzichtrechtbank = new Image
overzichtschutsluys = new Image
overzichtpaviljoen = new Image

overzicht.src = 'images/overzicht/overzicht.jpg'
overzichtjachthaven.src = 'images/overzicht/overzichtjachthaven.jpg'
overzichtmiddenschip.src = 'images/overzicht/overzichtmiddenschip.jpg'
overzichthavendam.src = 'images/overzicht/overzichthavendam.jpg'
overzichtzorgwelzijn.src = 'images/overzicht/overzichtzorgwelzijn.jpg'
overzichtaldi.src = 'images/overzicht/overzichtaldi.jpg'
overzichtbrug.src = 'images/overzicht/overzichtbrug.jpg'
overzichtbruggenhoofd.src = 'images/overzicht/overzichtbruggenhoofd.jpg'
overzichtkerk.src = 'images/overzicht/overzichtkerk.jpg'
overzichtrechtbank.src = 'images/overzicht/overzichtrechtbank.jpg'
overzichtschutsluys.src = 'images/overzicht/overzichtschutsluys.jpg'
overzichtpaviljoen.src = 'images/overzicht/overzichtpaviljoen.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";
}