an HTML file for beginners to learn simple HTML