_:b422433 "CZK"^^ . _:b422433 "17"^^ . _:b422433 .