_:b401389 "CZK"^^ . _:b401389 "16"^^ . _:b401389 .