_:b417052236 . _:b417052236 "0"^^ .