private void WriteString(string value)
{
if (settings.RemoveDuplicateStrings && stringPool.ContainsString(value))
{
DataStream.WriteUInt32BE(destination, (uint)stringPool.GetStringPosition(value));
}
else
{
DataStream.WriteUInt32BE(destination, (uint)stringPool.Put(value));
}
}