Content of file1.php