_:b415236254 . _:b415236254 "0"^^ .