function unhide(hidebox) {
  var item = document.getElementById(hidebox);
  if (item) {
    item.className=(item.className=='hidebox_hidden')?'hidebox_unhidden':'hidebox_hidden';
  }
}