function fontsize(elemntID,key,value) {
  document.getElementById(elemntID).style[key] = value;
}

function selectlang(s) {
	var gourl = '?/adminpanel/lang/' + s.options[s.selectedIndex].value;
	window.top.location.href = gourl;
}

function selecturl(s) {
	var gourl = '?/adminpanel/showcontent/'+s.options[s.selectedIndex].value;
	window.top.location.href = gourl;
}

function selectprod(s) {
	var gourl = '?/produkty/panel/'+s.options[s.selectedIndex].value;
	window.top.location.href = gourl;
}