//  Javascript Statusbar
function info(txt)
{
window.status = txt;
setTimeout("clear_info()",2500);
}
function clear_info()
{
window.status="";
}
// -------------------------------
//  Javascript Browsertest 
function browser()
{
   if(navigator.appVersion.substring(0,1) == "4")
    window.location.href='service.html'
   // alert("Oh, ein Browser der 4. Generation!");
   else
   window.location.href='service3.html'
}
//  Javascript Ende