// JavaScript Document
function pulldown(titles){

if((document.getElementById) && (!document.all))
{
titles=document.getElementById(titles).style;
if (titles.visibility=='hidden') titles.visibility="visible";
else titles.visibility='hidden';
}

else{

titles=document.all[titles].style;
if (titles.visibility=='hidden') titles.visibility="visible";
else titles.visibility='hidden';
}
}