_:b415089743 . _:b415089743 "0"^^ .