_:b407753 . _:b407753 "CZK"^^ . _:b407753 "1544"^^ .