// Změna čísla - Pull Menu - přesměrování bez nutnosti potvrzení
function pullGoTo() {
var stranka = window.document.forms['pullmenu'].elements['cislo'].options[window.document.forms['pullmenu'].elements['cislo'].selectedIndex].value;
if (stranka > "")
    top.document.location.replace('?cislo=' + stranka);
return false;
}