function retitle(strTitle){
  document.title = strTitle;
}