font_identifier:="xslhz20d";
mode_setup;
font_size 20pt#;
makedotted=1;
input xslhz;