var bookmarkurl="http://www.holiday-directory.co.uk/"

var bookmarktitle="The Holiday Directory"

function addbookmark(){

if (document.all)

window.external.addfavorite(bookmarkurl,bookmarktitle)

}