function roll_over(img_name, img_src) {
   document[img_name].src = img_src;
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}