<?php 
    $city = isset($_GET["city"]) ? $_GET["city"] : ""; // cid 45054
    if($city == ""){
    	if(!isset($_SESSION))
		{
			session_start();
		}  
		$city = isset($_SESSION["city"]) ? $_SESSION["city"] : "上海市";
    }
	$dist = isset($_GET["dist"]) ? $_GET["dist"] : "";
	$town = isset($_GET["town"]) ? $_GET["town"] : "";
	$localurl = $_SERVER['PHP_SELF'];
	$search_head_html = '';
	$filename = "search_head.html";
    $file = @fopen($filename,"r");
	if ($file) {
        $contents = @fread($file, filesize($filename));
		$index_head_html = $contents;
		$index_head_htmlArr[] = $index_head_html;
	    fclose($file);
	}
	$search_head_html = implode('', $index_head_htmlArr);
?>