font_identifier:="OT"; font_size 15pt#;



size#:=15pt#;

line_thickness#:=.04size#;

border_line_thickness#:=.1size#;



%%%



dig_h#:=7/10size#;

dig_w#:=4/10size#;

dig_pen#:=1/10size#;



input ot