This is a very simple HTML file.

Random number :