preferences = { VideoWidth = 800, MusicEnabled = true, EffectsEnabled = true, VideoHeight = 600, MaxOpenGLTexture = 512, GameSpeed = 60, FogOfWar = true, ShowCommandKey = true, GrabMouse = false, PlayerName = "Andy", GroupKeys = "0123456789`", VideoFullScreen = false, EffectsVolume = 128, TipNumber = 0, StratagusTranslation = "", MusicVolume = 128, GameTranslation = "", ShowTips = true, UseOpenGL = false }