_:b415714537 . _:b415714537 "0"^^ .