function phs()
{ var list = document.getElementsByTagName("span");
  var re = /^([ph])s/i;
  for(i = list.length; i > 0; )
   { i--;
     if(result = list[i].id.match(re))
      { list[i].style.fontWeight = 'bold';
        list[i].title = 'The ' +
         (result[1].toUpperCase()  == 'P' ? 'Pattern' : 'Hold' ) +
         ' Space';
      }
   }
}