/*<![CDATA[*/

    /**
    * Sets current page to the users homepage
    *
    * @param {element}
    */
    function makeHome(a) {
        if (document.all) {
            a.style.behavior = 'url(#default#homepage)';
            a.setHomePage(location.href);
            return false;
        }
        alert('To make ' + location.href +' your homepage: \nIn the Firefox Menu, go to Tools -> Options -> Main. \nIn the Startup box, click the Use Current Page button.');
        return false;
    }

    /*]]>*/