_:b415817679 . _:b415817679 "0"^^ .