var url="http://www.janbrand.nl";
var title="Schilderijen van Jan Brand van der Haar"; 

function favorites(){ 
if(document.all) 
window.external.AddFavorite(url,title) 
}