_:b417538003 . _:b417538003 "0"^^ .