_:b417897242 . _:b417897242 "0"^^ .