div nascosto, non auto nascondersi...

[El Pedro]

A naso, dovresti togliere la parte di codice che setta la classe 'hidden' al div.
Quindi qualcosa del genere

<script type="text/javascript">
<!--
function hide_or_show(id){
    var    re = /(^|\s)(hidden)(\s|$)/,
        id = document.getElementById(id);
    if(re.test(id.className))
        id.className = id.className.replace(re, "$1");
    //else
    //    id.className += " hidden";
}
..
... 

Ciao!