_:b307528 "CZK"^^ . _:b307528 . _:b307528 "32"^^ .