typing up the index.php page