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