An experimental comparison of a mouse and arrow-jump keys for an interactive encyclopedia