var popupfenster;
function open_a_window($url,$titel,$width,$height){
if(popupfenster)popupfenster.close();
popupfenster = window.open($url,$titel,'width='+ $width + ','+'height='+ $height + ',scrollbars=yes,resizable=yes');
popupfenster.focus();
return false;
}

function noxhtml(text){
	text = text.replace(' ',String.fromCharCode(160));
	text = text.replace('¡',String.fromCharCode(161));
	text = text.replace('¢',String.fromCharCode(162));
	text = text.replace('£',String.fromCharCode(163));
	text = text.replace('¤',String.fromCharCode(164));
	text = text.replace('¥',String.fromCharCode(165));
	text = text.replace('¦',String.fromCharCode(166));
	text = text.replace('§',String.fromCharCode(167));
	text = text.replace('¨',String.fromCharCode(168));
	text = text.replace('©',String.fromCharCode(169));
	text = text.replace('ª',String.fromCharCode(170));
	text = text.replace('«',String.fromCharCode(171));
	text = text.replace('¬',String.fromCharCode(172));
	text = text.replace('­',String.fromCharCode(173));
	text = text.replace('®',String.fromCharCode(174));
	text = text.replace('¯',String.fromCharCode(175));
	text = text.replace('°',String.fromCharCode(176));
	text = text.replace('±',String.fromCharCode(177));
	text = text.replace('²',String.fromCharCode(178));
	text = text.replace('³',String.fromCharCode(179));
	text = text.replace('´',String.fromCharCode(180));
	text = text.replace('µ',String.fromCharCode(181));
	text = text.replace('¶',String.fromCharCode(182));
	text = text.replace('·',String.fromCharCode(183));
	text = text.replace('¸',String.fromCharCode(184));
	text = text.replace('¹',String.fromCharCode(185));
	text = text.replace('º',String.fromCharCode(186));
	text = text.replace('»',String.fromCharCode(187));
	text = text.replace('¼',String.fromCharCode(188));
	text = text.replace('½',String.fromCharCode(189));
	text = text.replace('¾',String.fromCharCode(190));
	text = text.replace('¿',String.fromCharCode(191));
	text = text.replace('À',String.fromCharCode(192));
	text = text.replace('Á',String.fromCharCode(193));
	text = text.replace('Â',String.fromCharCode(194));
	text = text.replace('Ã',String.fromCharCode(195));
	text = text.replace('Ä',String.fromCharCode(196));
	text = text.replace('Å',String.fromCharCode(197));
	text = text.replace('Æ',String.fromCharCode(198));
	text = text.replace('Ç',String.fromCharCode(199));
	text = text.replace('È',String.fromCharCode(200));
	text = text.replace('É',String.fromCharCode(201));
	text = text.replace('Ê',String.fromCharCode(202));
	text = text.replace('Ë',String.fromCharCode(203));
	text = text.replace('Ì',String.fromCharCode(204));
	text = text.replace('Í',String.fromCharCode(205));
	text = text.replace('Î',String.fromCharCode(206));
	text = text.replace('Ï',String.fromCharCode(207));
	text = text.replace('Ð',String.fromCharCode(208));
	text = text.replace('Ñ',String.fromCharCode(209));
	text = text.replace('Ò',String.fromCharCode(210));
	text = text.replace('Ó',String.fromCharCode(211));
	text = text.replace('Ô',String.fromCharCode(212));
	text = text.replace('Õ',String.fromCharCode(213));
	text = text.replace('Ö',String.fromCharCode(214));
	text = text.replace('×',String.fromCharCode(215));
	text = text.replace('Ø',String.fromCharCode(216));
	text = text.replace('Ù',String.fromCharCode(217));
	text = text.replace('Ú',String.fromCharCode(218));
	text = text.replace('Û',String.fromCharCode(219));
	text = text.replace('Ü',String.fromCharCode(220));
	text = text.replace('Ý',String.fromCharCode(221));
	text = text.replace('Þ',String.fromCharCode(222));
	text = text.replace('ß',String.fromCharCode(223));
	text = text.replace('à',String.fromCharCode(224));
	text = text.replace('á',String.fromCharCode(225));
	text = text.replace('â',String.fromCharCode(226));
	text = text.replace('ã',String.fromCharCode(227));
	text = text.replace('ä',String.fromCharCode(228));
	text = text.replace('å',String.fromCharCode(229));
	text = text.replace('æ',String.fromCharCode(230));
	text = text.replace('ç',String.fromCharCode(231));
	text = text.replace('è',String.fromCharCode(232));
	text = text.replace('é',String.fromCharCode(233));
	text = text.replace('ê',String.fromCharCode(234));
	text = text.replace('ë',String.fromCharCode(235));
	text = text.replace('ì',String.fromCharCode(236));
	text = text.replace('í',String.fromCharCode(237));
	text = text.replace('î',String.fromCharCode(238));
	text = text.replace('ï',String.fromCharCode(239));
	text = text.replace('ð',String.fromCharCode(240));
	text = text.replace('ñ',String.fromCharCode(241));
	text = text.replace('ò',String.fromCharCode(242));
	text = text.replace('ó',String.fromCharCode(243));
	text = text.replace('ô',String.fromCharCode(244));
	text = text.replace('õ',String.fromCharCode(245));
	text = text.replace('ö',String.fromCharCode(246));
	text = text.replace('÷',String.fromCharCode(247));
	text = text.replace('ø',String.fromCharCode(248));
	text = text.replace('ù',String.fromCharCode(249));
	text = text.replace('ú',String.fromCharCode(250));
	text = text.replace('û',String.fromCharCode(251));
	text = text.replace('ü',String.fromCharCode(252));
	text = text.replace('ý',String.fromCharCode(253));
	text = text.replace('þ',String.fromCharCode(254));
	text = text.replace('ÿ',String.fromCharCode(255));	
	return text;
}


/* momentan nicht verwendet */
function encode_utf8(rohtext) {
   // dient der Normalisierung des Zeilenumbruchs
    rohtext = rohtext.replace(/\r\n/g,"\n");
    var utftext = "";
    for(var n=0; n<rohtext.length; n++)
        {
        // ermitteln des Unicodes des  aktuellen Zeichens
        var c=rohtext.charCodeAt(n);
        // alle Zeichen von 0-127 => 1byte
        if (c<128)
            utftext += String.fromCharCode(c);
        // alle Zeichen von 127 bis 2047 => 2byte
        else if((c>127) && (c<2048)) {
            utftext += String.fromCharCode((c>>6)|192);
            utftext += String.fromCharCode((c&63)|128);}
        // alle Zeichen von 2048 bis 66536 => 3byte
        else {
           utftext += String.fromCharCode((c>>12)|224);
           utftext += String.fromCharCode(((c>>6)&63)|128);
           utftext += String.fromCharCode((c&63)|128);}
        }
   return utftext;
}