_:b415095587 . _:b415095587 "0"^^ .