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

function replace_h1()
{
    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 i=0;
    var s;
    while(1)
    {
	var h1=getElement("tagname","h1",i);
	if(h1==false)
	    return;
	s=esc(h1.innerHTML);

	var dock = document.createElement("div");
	dock.innerHTML="<div class=\"flashheader\" id=\"flashheadline"+i+"\"></div>";
	h1.parentNode.replaceChild(dock.firstChild, h1);

	var so = new FlashObject("c/headline.swf", "flashheadline", "580", "30", "8", "#ffffff");
	so.addParam("wmode", "transparent");
	so.addVariable("head",s);
	so.write("flashheadline"+i);

	++i;
    }

}

replace_h1();