d = document;
w = window;
ns3 = ((d.images) && (w.screen)) ? false : true;
ns4 = ((d.captureEvents) && (!d.getElementById)) ? true : false;
ie4 = ((d.all) && (w.offscreenBuffering)) ? true : false; // IE >= 4.x
dom = (d.getElementById) ? true : false;

    normal1 = new Image();
    normal1.src = "../layout/hotdotr.jpg";
    highlight1 = new Image();
    highlight1.src = "../layout/hotdot.jpg";

function dot(nr,bild) {
window.document.images[nr].src = bild.src; }

function kontext(x) {
elm=document.getElementById("kontext")
{
if(dom) {
elm.firstChild.data = x; }
else {}
}}