function czcionkaRozmiar(rozmiar) {
var e = document.getElementsByTagName("div");
	for (i=0; i<e.length; i++)
		e[i].style.fontSize = rozmiar;
}

function pokaz(element) {
document.getElementsById(element).style.visibility='visible';
}