<!--
function go(s)
{
var t=s.options[s.selectedIndex].value;
if (t!="") window.location.href=t;
}
function num_hr(i)
{
var h=i.options[i.selectedIndex].value;
if (h!="") document.vstup.text.value +=h;
}
function SelectAllFromGroup( state, gID ) {
    var group = document.getElementById( gID );
    var inputs = group.getElementsByTagName( 'input' );
    for ( var i = 0; i < inputs.length; i++ ) {
        if ( inputs[i].type == 'checkbox' ) {
            inputs[i].checked = state;
        }
    }
}//-->