3c31 1 } dukat ; b & gt;