function SetMap(im){
	$id('mapa_over').style.backgroundImage = "url(images/mapa_"+im+".gif)";

}

function SetKr(id){
	$id('kraje').options[id].selected = true;
}

$id('mapimg').onmouseout = function (){ $id('mapa_over').style.backgroundImage = "none"; }