/** supp **/

function onHelp()
{
    var elHelp = document.getElementById( "help" );
    if( elHelp ) {
	if( elHelp.options ) {
	    for( var j = 0; j < elHelp.options.length; j ++ ) {
		if( elHelp.options[ j ].selected ) {
		    document.location = elHelp.options[j].value;
		    break;
		}
	    }
	}
    }
}

function onSearch()
{
}