<!--
function changeOptions ( SelectDetail ) {
  var OptionDetail = eval(SelectDetail);
					
  NumberOfElements = window.document.valsztkat.ToolElementDetail.options.length;
  for(ElementNumber=0;ElementNumber<NumberOfElements;ElementNumber++) {
    window.document.valsztkat.ToolElementDetail.options[0] = null;
  }
			
  if ( window.document.valsztkat.ToolElement.value != "" ) {
    for (ElementNumber=0;ElementNumber<OptionDetail.length;ElementNumber++) {
      window.document.valsztkat.ToolElementDetail.options[ElementNumber] = OptionDetail[ElementNumber];
    }
  }
}
-->