var da = (document.all) ? 1 : 0
function StartPrint() {
if(da)
{ print(); }
else { window.print(); }
}

var bookmarkurl=document.location
var bookmarktitle=document.title

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

function fjernStipletLinie()
{
for (a in document.links) document.links[a].onfocus = document.links[a].blur;
}
if (document.all)
{
document.onmousedown = fjernStipletLinie;
}