private void PrintError(string sourceFile, int line, int column, bool fIsWarning, int number, string message){
string errorNumber = (10000 + (number & 0xFFFF)).ToString(CultureInfo.InvariantCulture).Substring(1);
if (String.Compare(sourceFile, "no source", StringComparison.Ordinal) != 0)
output.Write(sourceFile + "(" + line.ToString(CultureInfo.InvariantCulture) + "," + column.ToString(CultureInfo.InvariantCulture) + ") : ");
output.WriteLine((fIsWarning ? "warning JS" : "error JS") + errorNumber + ": " + message);
}
}