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>';