function $(id) {
	return document.getElementById(id);
}
var loading_html='<BR><BR><BR><center><span style="font-weight: bold; color: #ffcc00">Trwa otwieranie strony. Proszę czekać...<BR></span><img src="img/loading.gif"></center>';  
function woj_hint($text)
{
$("wojew_hint").style.background = "#FFFFBB";
$("wojew_hint").innerHTML = $text;
}
function hide_hint()
{
$("wojew_hint").style.background = "none";
$("wojew_hint").innerHTML = "&nbsp;";
}