$code)
	{
		if($line!==$data['line'])
			echo CHtml::encode(sprintf("%05d: %s",$line,str_replace("\t",'    ',$code)));
		else
		{
			echo "
";
			echo CHtml::encode(sprintf("%05d: %s",$line,str_replace("\t",'    ',$code)));
			echo "
";
		}
	}
}
?>