$.noConflict();

function HideMenu()
{
    jQuery("#SearchOptions")
        .mouseover(function() {
            jQuery("#Options").show();
        })
        .mouseout(function() {
            jQuery("#Options").hide();
         })
        .mouseout(); // initialize
}

jQuery(document).ready(function() {
    HideMenu();
});

window.onload = function() {
    applyPagePngs();
    if (window.RunGallery) RunGallery();
    if (window.InitialiseFilter) InitialiseFilter();
};