Naming an HTML Button: Example for Beginners