This list is dynamically generated from a server-side PHP array.
First look at the source code in the PHP file to see how it works.
Then look at the HTML code this script sends to the browser (view source) and the PHP will be gone!