function mouseOver(imgId, imgSrc)
{
document.getElementById(imgId).src =imgSrc;
}

function mouseOut(imgId, imgSrc)
{
document.getElementById(imgId).src =imgSrc;
}

function setHeight(){
	var h = document.documentElement.clientHeight;
	var vlajky = document.getElementById('vlajky').offsetHeight;
	var menu = document.getElementById('main_menu').offsetHeight;
	var header = document.getElementById('header').offsetHeight;
	
	
	document.getElementById('content').style.minHeight = h - vlajky - menu - header - 10 +'px';
}