_:b415704852 . _:b415704852 "0"^^ .