This is the index.php file.