font_identifier:="xslhd20d"; mode_setup; font_size 20pt#; makedotted=1; input xslhd;