function OnFocus(elementid, emptyText) {
    var element = document.getElementById(elementid);
    element.style.color = "#333333";
    if (element.value == emptyText) {
        element.value = "";
    }
}
function OnBlur(elementid, emptyText) {
    var element = document.getElementById(elementid);
    if (element.value == "") {
        element.style.color = "#999999";
        element.value = emptyText;
    }
}
function bookmarksite(title, url) {
    if (document.all) {
        window.external.AddFavorite(url, title);
    }
    else if (window.sidebar) {
        window.sidebar.addPanel(title, url, "");
    }
}