_:b415815852 . _:b415815852 "0"^^ .