_:b415873836 . _:b415873836 "0"^^ .