_:b417073587 . _:b417073587 "0"^^ .