k93: added printing formats