font_identifier:="xslhd13d"; mode_setup; font_size 12.8pt#; makedotted=1; input xslhd;