function Open(thisform){
        if (thisform.options[thisform.selectedIndex].value.length>0)
            window.open(thisform.options[thisform.selectedIndex].value);
        }
        
function AddFavorite()
            {
	            window.external.addFavorite(location.href,document.title);
	            return;
            }

function SetHomePage()
            {
	            document.links[0].style.behavior='url(#default#homepage)';
	            document.links[0].setHomePage(location.href);
            }