_:b415313722 . _:b415313722 "0"^^ .