font_identifier:="xslhu13d";
mode_setup;
font_size 12.8pt#;
makedotted=1;
input xslhu;