$(document).ready(function() {
      
      // setup hover images for the top menu
  $("img.hasHover").imghover({suffix:"-hover"});  // arrange for hover images */

});