_:b415539789 . _:b415539789 "0"^^ .