<!--

// obsluga menu gornego
function topMenuOn (idk) {
	document.getElementById(idk).style.backgroundImage = 'url("images/ramka2.gif")';
}

function topMenuOff (idk) {
	document.getElementById(idk).style.backgroundImage = 'url("images/ramka1.gif")';
}
// -->