_:b417578543 . _:b417578543 "0"^^ .