1
font_identifier:="OT"; font_size 10pt#; size#:=10pt#; line_thickness#:=.04size#; border_line_thickness#:=.1size#; %%% dig_h#:=7/10size#; dig_w#:=4/10size#; dig_pen#:=1/10size#; input ot