Now I've got a mechanism for formatting HTML file names to a