font_identifier:="OT1BLACK"; font_size 20pt#;



size#:=20pt#;

line_thickness#:=.04size#;

border_line_thickness#:=.1size#;



%%%



dig_h#:=63/100size#;

dig_w#:=4/10size#;

dig_pen#:=1/10size#;



input ot1black