.margin {  margin-top: 5px}
.8pt-140 {  font-size: 8pt; line-height: 140%}
.9pt-140 {  font-size: 9pt; line-height: 140%}
.9pt_333_b {  font-size: 9pt; font-weight: bold; color: #333333}
.pt9 {  font-size: 9pt}
.pt7 {  font-size: 7pt}
.size1 {  font-size: 85%; line-height: 120%}
.margin0 { margin-top: 5px ; margin-right: 0px; margin-bottom: 0px; margin-left: 20px; clip:    rect(   )}
h3 {  margin-top: 0px; margin-bottom: 0px}
h1 {  margin-top: 0px; margin-bottom: 0px}