_:b415313522 . _:b415313522 "0"^^ .