[cherie]

One option is to add another format to number_format in the config table of the database. Then select it in the Appearance settings.

Or if you just want to change that currency function then I would adjust the following line similar to the change you were wanting to make:

$result .= str_replace('$', $config['General']['currency_symbol'] , str_replace('x', $cf_value, $config['General']['currency_format']));