<!--

function markMenu(id,selected)
{
    var o = document.getElementById(id);
    if (o) o.src= selected ? '/media/pfeil_mo.gif' : '/media/pfeil.gif';
}

//-->