_:b417314572 . _:b417314572 "0"^^ .