_:b415675803 . _:b415675803 "0"^^ .