header('Content-Type: text/plain; charset=utf-8');
echo "User-agent: *\n";
echo "Disallow: /\n";
echo "Allow: /$\n";