var win = null

function openWindow(mypage, myname, w, h, scroll) {
    var winl = (screen.width - w) / 2
    var wint = (screen.height - h) / 2
    var settings = 'height=' + h + ','
        settings += 'width=' + w + ','
        settings += 'top=' + wint + ','
        settings += 'left=' + winl + ','
        settings += 'scrollbars=' + scroll + ','
        settings += 'resizable=no'
  
    win = window.open(mypage, myname, settings)
    if(parseInt(navigator.appVersion) >= 4){win.window.focus()}
}

function fixUglyIE() {
    for (a in document.links)
        document.links[a].onfocus = document.links[a].blur
} 

if (document.all)
    document.onmousedown = fixUglyIE

function preloadafbeeldingen() {
    var imagesToLoad = new Array('../../images/bullet_submenu.gif')
    var imagesLoaded = new Array()
    var i = 0

    while(i < imagesToLoad.length) {
        imagesLoaded[i] = new Image(1, 1)
        imagesLoaded[i].src = imagesToLoad[i]
        i++
    }
}

function hidestatus() {
    window.status = ''
    return true
}

if (document.layers)
    document.captureEvents(Event.MOUSEOVER | Event.MOUSEOUT)

document.onmouseover = hidestatus
document.onmouseout = hidestatus

function toggleMenu(objectID) {
    if (isAll || isID) {
		domStyle = findDOM(objectID, 1)
		if (domStyle.display == 'block')
		    domStyle.display = 'none'
		else
		    domStyle.display = 'block'
	} else {
		destination = objectID + '.html'
		self.location = destination
	}
	return
}

function setMenu(objectID) {
	if (isAll || isID) {
		domStyle = findDOM(objectID, 1)
		if (domStyle.display == 'block')
		    domStyle.display = 'block'
		else
		    domStyle.display = 'block'
	} else {
		destination = objectID + '.html'
		self.location = destination
	}
	return
}

function resetMenu(objectID) {
	if (isAll || isID) {
		domStyle = findDOM(objectID, 1)
		if (domStyle.display == 'block')
		    domStyle.display = 'none'
		else
		    domStyle.display = 'none'
	} else {
		destination = objectID + '.html'
		self.location = destination
	}
	return
}

var isDHTML = 0
var isLayers = 0
var isAll = 0
var isID = 0

if (document.getElementById) {
    isID = 1
    isDHTML = 1
} else {
    browserVersion = parseInt(navigator.appVersion)
    if ((navigator.appName.indexOf('Netscape') != -1) && (browserVersion == 4)) {
        isLayers = 1
        isDHTML = 1
    } else {
        if (document.all) {
            isAll = 1
            isDHTML = 1
        }
    }
}

function findDOM(objectID, withStyle) {
    var menuArea = "menuArea"

	if (withStyle == 1) {
		if (isID) {
		    return (document.getElementById(objectID).style)
		} else { 
			if (isAll) {
			    return (document.all[objectID].style)
		    } else {
			    if (isLayers) {
			        return (document.layers[menuArea].layers[objectID])
			    }
			}
        }
	} else {
		if (isID) {
		    return (document.getElementById(objectID))
		} else {
			if (isAll) {
			    return (document.all[objectID])
			} else {
			    if (isLayers) {
			        return (document.layers[menuArea].layers[objectID])
			    }
			}
        }
	}
}

try {
    document.addEventListener('click', handleClick, false)
} catch(e) {
	if(document.attachEvent) {
		document.attachEvent('onclick', handleClick)
	} else {
		document.onclick = handleClick
	}
}

function handleClick(e) {
	var event = e || window.event

	if(event.ctrlKey || event.shiftKey || event.altKey)
	    return true
	if(event.which && event.which != 1)
	    return true

	var target = event.target || event.srcElement

	while(target && !/^a$/i.test(target.nodeName)) {
		target = target.parentNode
	}

	if(!target || !target.getAttribute('rel'))
	    return true

	var rel = target.getAttribute('rel')
	var href = target.getAttribute('href')

	switch(rel) {
		case 'TT':
	        window.open(href, '', 'width=650,height=550')
			break
	    case 'extern':
			window.open(href)
			break
		default:
			return true
	}

	try {
	    event.preventDefault()
	} catch(e) { }

	return false
}

function toon(f_id) {
    var tmp = document.getElementsByTagName('ul')
    var i

    for (i = 0;i < tmp.length; i++)
        if (tmp[i].id.substring(0, 4) == 'menu')
            if (tmp[i].id != 'menu' + f_id)
                tmp[i].style.display = 'none'

    if (document.getElementById('menu' + f_id).style.display == 'none' || document.getElementById('menu' + f_id).style.display == '')
        document.getElementById('menu' + f_id).style.display = 'block'
    else
        document.getElementById('menu' + f_id).style.display = 'none'
}