function getUrl( tag ) {
  return tag.replace( /.*(href|src)="([^"]*)".*/, '$2' );
}  // function getUrl

function hoverImg(element, over) {
  if (over) element.src = element.src.replace('.gif','_on.gif');
  else      element.src = element.src.replace('_on.gif','.gif');    
}