_:b402899 . _:b402899 "CZK"^^ . _:b402899 "712"^^ .