function switchDivisionVisibility()
{
   var menu = document.getElementById('portfolio_menu');
   if(menu.style.visibility=='hidden')menu.style.visibility=='visible';
   else menu.style.visibility=='hidden';
}