_:b422709 . _:b422709 "CZK"^^ . _:b422709 "3241"^^ .