function MouseOn(imageName) {
                document.images[imageName].src = "obrazy/" + imageName + "_2.gif";  }
function MouseOff(imageName) {
                document.images[imageName].src = "obrazy/" + imageName + ".gif";  }
				
function navigator(JTPullDown) {
location.href=(document.JTPullDown.JTList.options[document.JTPullDown.JTList.selectedIndex].value);
}