function makevisible()
	{
	    document.getElementById('TVMGmenu').style.visibility = "visible"
	}

    function makeinvisible()
	{
	    document.getElementById('TVMGmenu').style.visibility = "hidden"
	}

    function buttonmouseover(buttonid, imgfile)
    {
        document.getElementById(buttonid).src=imgfile;
    }
    function buttonmouseout(buttonid, imgfile)
    {
        document.getElementById(buttonid).src=imgfile
    }