<!--
.jumpmenu {  font-family: Arial, Helvetica, sans-serif; font-size: 12pt; font-style: normal; line-height: normal; font-weight: normal; background-color: #000000; height: 25px; width: 150px; clip:  rect(   )}
.binocs {  font-family: Arial, Helvetica, sans-serif; font-size: 10pt; font-style: normal; color: #000000}
.infotext {  font-family: Arial, Helvetica, sans-serif; font-size: 12pt; color: #000000}
-->