function bookmarksite(title, url) {
    if (document.all)
        window.external.AddFavorite(url, title);
    else if (window.sidebar)
        window.sidebar.addPanel(title, url, "")
}
function bookmarkPage() {
    url = document.location.href;
    pageTitle = document.title;
    if (document.all)
        window.external.AddFavorite(url, pageTitle);
    else if (window.sidebar)
        window.sidebar.addPanel(pageTitle, url, "")
}
function emailPage() {
    mail_str = "mailto:?subject=Recommended web page : " + document.title;
    mail_str += "&body=I thought you might be interested in the following: " + document.title;
    mail_str += ". You can view it at, " + location.href;
    location.href = mail_str;
}
function printPage() {
    window.print();
}