_:b438476 . _:b438476 "CZK"^^ . _:b438476 "10737"^^ .