$WOOCS->default_currency

This is not a function - this is an important variable in the plugin main class WOOCS, and it's always equal to default currency which is predefined in the plugin settings.

global $WOOCS;
echo $WOOCS->default_currency;
//will print for example 'EUR'

Shortcodes, functions, actions and filters reference for FOX WooCommerce Currency Switcher