PHP Decode

<?php  
	 
	if (!isset($_POST["captcha"])) { 
		header('Location: /dhalsim.html'); 
		die(); 
	} 
		 
	if($_POST) { //<----- :D 
	    session_start(); 
	    if($_POST['captcha'] != $_SESSION['digit']) { 
		header('Location: captchafail.html'); 
		die(); 
	    } 
	    session_destroy(); 
	} 
 
	if(isset($_POST['flag'])) 
	{ 
		$flag = $_POST["flag"]; 
		eval(gzinflate(base64_decode(str_rot13('H8yYmR0gIeOIFZfiFZ3GHAYG00/YFHlCql5WH9WEHPcF0yGVY1WVlHmIHNeAF0mXFIHblIpNXIKFgNLN')))); 
		while(!feof($names)) { 
		    $cmp = fgets($names); 
		    $cmp = str_replace(array("
", "
"), '',$cmp); 
		    $val = strcmp($cmp , $flag); 
		    if($val == 0) { 
			break; 
		    } else { 
			continue; 
		    } 
		} 
		fclose($names); 
	} 
 
	if($val == 0) { 
		header('Location: flag_ok.html'); 
	 } else { 
		header('Location: loginfail.html'); 
	 } 
	 
?>