function synchTabs(pageName) {
   if (pageName == null)
      return;

   var aTags = document.getElementsByTagName("a");

   for (index = 0; index < aTags.length; index++) {
      if (aTags[index].href.indexOf(pageName) != -1) {
         aTags[index].id = "selected";
      }
      else {
         aTags[index].id = "";
      }
   }
}