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