static char *psfonts[]={"Times-Roman","Times-Italic","Times-Bold","Times-BoldItalic",
	       "AvantGarde-Book","AvantGarde-BookObilque",
	       "AvantGarde-Demi","AvantGarde-DemiObilque",
	       "Bookman-Light","Bookman-LightItalic",
	       "Bookman-Demi","Bookman-DemiItalic",
	       "Courier","Courier-Oblique",
	       "Courier-Bold","Courier-BoldOblique",
	       "Helvetica","Helvetica-Oblique",
	       "Helvetica-Bold","Helvetica-BoldOblique",
	       "Helvetica-Narrow","Helvetica-Narrow-Oblique",
	       "Helvetica-Narrow-Bold","Helvetica-Narrow-BoldOblique",
               "NewCenturySchlbk-Roman","NewCenturySchlbk-Italic",
	       "NewCenturySchlbk-Bold","NewCenturySchlbk-BoldItalic",
	       "Palatino","Palatino-Bold",
	       "Palatino-Italic","Palatino-BoldItalic",
	       "Symbol",
	       "ZapfChancery-MediumItalic",
	       "ZapfDingbats"
};

static int pdffonts[]={1,1,1,1,
                0,0,
                0,0,
                0,0,
                0,0,
                1,1,
                1,1,
                1,1,
                1,1,
                0,0,
                0,0,
                0,0,
                0,0,
                0,0,
                0,0,
                1,
                0,
                1
};