; TeX output 2005.12.15:2027 header=psfrag.pros\ȍ8# color push Blackhtml: html:Y color pop8G # html: html: