DKK
: DKK
:
DNK
$disp.output('TEX_CURRENT_DESTINATION', 1, null): Denmark
$disp.output('TEX_OTHER_DESTINATION', 1, null):
0