function input()
{
        $fp = fopen("php://stdin", "r");
        if(!$fp)
        {
        	die("Unable to read input stream.\n");
        }
        $str = fgets($fp);
        $i=0;
        $run = true;
       /* while($run)
        {
        	$str .= $chr[$i] = fgetc($fp);
        	$i++;
        	if($chr[$i] == "\r")
        		$run = false;
        }*/
        fclose($fp);
        return pg_escape_string(trim($str));
}