function esc(s)
// Escape characters in the flash parameter:
//  |,%,<,>,&," werden durch %xx ersetzt.
{
    s=encodeURI(s);
    s=s.replace(/=/g,"%3d");
    s=s.replace(/\|/g,"%7c");
    s=s.replace(/&/g,"%26");
    s=s.replace(/\?/g,"%3f");
    return s;
}

function replace_nav1()
{
    agt=navigator.userAgent.toLowerCase();
    _ie=(document.all) ? 1:0;
    _ie5=(_ie && agt.indexOf('msie 5')>0);
    _ie6=(_ie && agt.indexOf('msie 6')>0);
    if(_ie5 || _ie6)
	return;

    var navd=getElement("id","navd");
    var s="";

    // debug_show_prop_simple("navd");
    for(var i=0;i<navd.childNodes.length;++i)
	if(navd.childNodes[i].nodeType==1)  // 	element node
	{
	    switch(navd.childNodes[i].nodeName)
	    {
	    case 'A':
		s=s+"p|"
		   +esc(navd.childNodes[i].getAttribute("href"))+"|"
		   +esc(navd.childNodes[i].firstChild.nodeValue)+"|";
		break;
	    case 'B':
		s=s+"a|"
		   +esc(navd.childNodes[i].firstChild.getAttribute("href"))+"|"
		   +esc(navd.childNodes[i].firstChild.firstChild.nodeValue)+"|";
		break;
	    case 'I':
		s=s+"r|"
		   +esc(navd.childNodes[i].firstChild.getAttribute("href"))+"|"
		   +esc(navd.childNodes[i].firstChild.firstChild.nodeValue)+"|";
		break;
	    }
	}

    var so = new FlashObject("c/_nav1.swf?v=5", "flashheadline", "590", "23", "6", "#00ff00");

    so.addParam("wmode", "transparent");
    so.addVariable("t",s);
    if(typeof nav_between != "undefined")
	so.addVariable("b",nav_between);

    so.write("navd");
}

replace_nav1();