<!-- Begin
function Favoritos()
{
url = "http://www.hotelcasalinda.com";
title = "Hotel Casa Linda, San Miguel de Allende, Guanajuato, Mexico";
if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4)) {
	window.external.AddFavorite (url,title);
}
else {
	var msg = "Don't forget to bookmark us!";
	if(navigator.appName == "Netscape") msg += "  (CTRL-D)";
		alert(msg);
}
}
//  End -->