function toggle(div) 
{
var option=['pub2001','pub2002','pub2003','pub2004','pub2005','pub2006','pub2007','pub2008'];

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