function zmenObrazek(obrazek){
	var hl = document.getElementById('hlavniObrazek');
	hl.src = obrazek;
}