$f = explode('/', $file);

			$filename = $f[3];
			$f = explode('.', $filename);

			$name = $f[0];
			$extension = $f[1];

			if(isset($f[2]))
			{
				$ok = $f[2];
			}
			else
			{
				$ok = '';
			}

			if($ok == 'ok')