_:b309523 . _:b309523 "CZK"^^ . _:b309523 "402"^^ .