font_identifier:="xslhu11d"; mode_setup; font_size 10.24pt#; makedotted=1; input xslhu;