Um usuário deseja verificar o tamanho, o local, a data de criação, modificação e acesso de um arquivo previamente selecionado. Todas estas informações podem ser acessadas na janela de propriedades do arquivo. Para abrir esta janela, o usuário deverá pressionar as seguintes teclas: