A digital television navigator