Hier is een menu van pagina's die u recent bezocht hebt. Selecteer er een, of gebruik `\\[history-node]' in een ander venster. ###>Here is the menu of nodes you have recently visited. Select one from this menu, or use `\\[history-node]' in another window.