EUR
: EUR
:
AUT
$disp.output('TEX_CURRENT_DESTINATION', 1): Austria
$disp.output('TEX_OTHER_DESTINATION', 1):
0