_:b415806515 . _:b415806515 "0"^^ .