function toggle(div)
{
var option=['welcome','commercial','defense'];
for(var i=0; i<option.length; i++)
{ obj=document.getElementById(option[i]);
obj.style.display=(option[i]==div) && !(obj.style.display=="block")? "" : "none"; }
}