1#black=#000000
2#red=#cd0000
3#green=#00cd00
4#yellow=#cdcd00
5#blue=#0000ee
6#magenta=#cd00cd
7#cyan=#00cdcd
8#white=#e5e5e5
9#hl_black=#7f7f7f
10#hl_red=#ff0000
11#hl_green=#00ff00
12#hl_yellow=#ffff00
13#hl_blue=#5c5cff
14#hl_magenta=#ff00ff
15#hl_cyan=#00ffff
16#hl_white=#ffffff
17
18