// Default statusbar text
window.defaultStatus = "jobcontrol.ch";

function addFav(){
    if (document.all)
        window.external.AddFavorite("http://www.jobcontrol.ch/", "Jobcontrol.ch");
    else if (window.sidebar)
        window.sidebar.addPanel("jobcontrol.ch", "http://www.jobcontrol.ch/", "")
}