function unhide(divID) {
  var element = document.getElementById(divID);
  if (element) {
    element.className=(element.className=='hidden')?'unhidden':'hidden';
  }
}