_:b400265420 "reinhard" . _:b400265420 "0"^^ .