$(document).ready(function() {
  // do stuff when DOM is ready
  $("#topnav").hoverIntent(
    function () {  
      $("#portal-globalsubnav").show("fast");
    },
    function () {  
      $("#portal-globalsubnav").hide("fast");
    } 
  );
});