function addbookmark($url, $title)
{
bookmarkurl=$url
bookmarktitle=$title
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}