// Ajax Toggle menu.
function toggle_menu(element) {
var toggle = document.getElementById (element)
var MenuOn = (toggle.style.visibility == "visible")
? false : true
toggle.style.visibility = MenuOn ? "visible" : "hidden"
toggle.style.display = MenuOn ? "inline" : "none"
}