function addToFavorites(href,title) {
	if (window.external) {
		window.external.AddFavorite(href,title);
	}
}

function printPage() {
	window.print();	
}