// JavaScript Document

function makeDefault(Handler) {
	Handler.style.behavior = "url(#default#homepage)"; 
	Handler.setHomePage(document.location.href); 
}

function addToFavourites() {
	window.external.AddFavorite(document.location.href, document.title);
}