How do I...?

[lake ginny]

How do I empty my Trash folder? I've tried using the "Empty Deleted
Folders" tool amd I've tried highlighting the messages in the folder
and hitting delete. They remain in the folder. What can I do to get
rid of them?