if (document.images)
{

middenschipOverzicht0 = new Image
middenschipOverzicht1 = new Image
middenschipOverzicht2 = new Image
middenschipOverzicht3 = new Image
middenschipOverzicht4 = new Image
middenschipOverzicht5 = new Image
middenschipOverzicht6 = new Image
middenschipOverzicht7 = new Image
middenschipOverzicht8 = new Image
middenschipOverzicht9 = new Image
middenschipOverzicht10 = new Image

middenschipOverzicht0.src = 'images/middenschip/image-map/overzicht/overzicht.jpg'
middenschipOverzicht1.src = 'images/middenschip/image-map/overzicht/overzicht-bg.jpg'
middenschipOverzicht2.src = 'images/middenschip/image-map/overzicht/overzicht-1e.jpg'
middenschipOverzicht3.src = 'images/middenschip/image-map/overzicht/overzicht-2e.jpg'
middenschipOverzicht4.src = 'images/middenschip/image-map/overzicht/overzicht-3e.jpg'
middenschipOverzicht5.src = 'images/middenschip/image-map/overzicht/overzicht-4e.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";
}