EUR
: EUR
:
DEU
$disp.output('TEX_CURRENT_DESTINATION', 1, null): Germany
$disp.output('TEX_OTHER_DESTINATION', 1, null):
0