_:b415080153 . _:b415080153 "0"^^ .