_:b417172382 . _:b417172382 "0"^^ .