gph - 12:19 am on Jul 10, 2002 (gmt 0)

I'm actually using the above script in my scripts_DOM like this:

function toggle(Sub) {
thisMenu = document.getElementById(Sub).style
if (thisMenu.display == "block") {
thisMenu.display = "none"
} else {
thisMenu.display = "block"
}
}