_:b415873938 . _:b415873938 "0"^^ .