<?PHP // $Id$



$string['filtername'] = 'ÅØ½º(TeX) Ç¥½Ã';
?>
