function h(tekst) {return htmlspecialchars(tekst);}
function Otworz_okno(url) {
    myRef = window.open(url,'okno_extra','directories=no, location=no, menubar=no, resizable=yes, scrollbars=yes, status=yes, toolbar=no');
    myRef.focus();
    }
function flash(id, kolor, czas, kolor2, czas2)
{
	document.getElementById(id).style.color = kolor;
	setTimeout('flash("' + id + '","' + kolor2 + '",' + czas2 + ',"' + kolor + '",' + czas + ')', czas);
}