_:b415740772 . _:b415740772 "0"^^ .