function AddFavorite(url,titles){
		window.external.addFavorite(url,titles);
		}
		
function SetHome(o,url){
    if (document.all)
    {
        document.body.style.behavior='url(#default#homepage)';
        document.body.setHomePage(url);
    }
 }