<?php
// Server script called by Ajax.html

print strrev($_GET[input]) . "\n";
print $_SERVER["SERVER_NAME"] . "\n";
print $_SERVER["SERVER_SOFTWARE"] . "\n";
print date("r") . "\n";
?>