// toonMenu.js


function toonmenu(elmnt, button)
{
    // alert("toon menu " + elmnt + "; knop " + button); 
    expandButton(button);
    document.getElementById(elmnt).style.visibility="visible";
}


function verstopmenu(elmnt, button)
{
    // alert("verberg menu " + elmnt); 
    normalizeButton(button);
    document.getElementById(elmnt).style.visibility="hidden";
} 



// Rechter muisknop uitschakelen 
  
// Internet Explorer
function clickIE4() 
{
    if (event.button == 2)
    {
        alert(message);
        return false;
    }
}
                        	
// Netscape/Mozilla-browsers
function clickNS4(e)
{
    if (document.layers||document.getElementById&&!document.all)
    {
      	if (e.which == 2||e.which == 3)
        {
            alert(message);
            return false;
        }
    }
}