_:b417578852 . _:b417578852 "0"^^ .