if(!document.all && document.getElementById) {
document.all = function(id) {
return document.getElementById(id);
}
}
function show(id){
var menu = 'menu' + id;
if(document.all(menu) != null){
if(document.all(menu).style.display == 'none'){
document.all(menu).style.display = '';
}
else{
document.all(menu).style.display = 'none';
}
}
CloseOthers(id);
}
function CloseOthers(id)
{
var MenuNum = 15;
var n;
for(n=1; n<=MenuNum; n++)
if(document.all('menu' + n) != null)
{
if (id!=n)
{
document.all('menu' + n).style.display = 'none';
}
}
}