// JavaScript Document
function toonmenu(elmnt)
{
document.getElementById(elmnt).style.visibility="visible"
}
function verstopmenu(elmnt)
{
document.getElementById(elmnt).style.visibility="hidden"
}