&info.label; &none.label; &numberoflines.label; &pageup.label; &history.label; &control.label; &numberoflines.label; &pageup.label; &history.label; &shift.label; &numberoflines.label; &pageup.label; &history.label; &alt.label; &numberoflines.label; &pageup.label; &history.label;