font_identifier:="xslhd11d"; mode_setup; font_size 10.24pt#; makedotted=1; input xslhd;