_:b424859 . _:b424859 "CZK"^^ . _:b424859 "9"^^ .