font_identifier:="OT1BLACK"; font_size 15pt#; size#:=15pt#; line_thickness#:=.04size#; border_line_thickness#:=.1size#; %%% dig_h#:=63/100size#; dig_w#:=4/10size#; dig_pen#:=1/10size#; input ot1black