; TeX output 2005.05.05:1812 header=psfrag.proheader=pstricks.proheader=pst-dots.pro\} html: html:gj؍ thtml: html: