
*fontSet: -*-helvetica-bold-r-*-*-12-*-*-*-*-*-*-*

