_:b417625402 . _:b417625402 "0"^^ .