server.php and instructions