_:b415700442 . _:b415700442 "0"^^ .