function searchchange(x) { 
  if (!document.getElementById) return false;
  var headerstyle = document.getElementById (x);
  headerstyle.style.backgroundColor = "#084887";
  headerstyle.style.color = "#ffffff";
 // headerstyle.style.fontStyle="italic";
  }