// JavaScript Document
function natahnout_menu()	{
	vyska = document.getElementById('hc').offsetHeight - document.getElementById('menu2').offsetHeight;
	vyska_menu = document.getElementById('menu').offsetHeight;
	if(vyska > vyska_menu)
	{
		document.getElementById('menu1').style.height = vyska+'px';
	}
}