a simple HTML interface in PHP