alias brown { return $+($chr(3),05,$1-,$chr(3)) }
alias green { return $+($chr(3),03,$1-,$chr(3)) }
alias orange { return $+($chr(3),07,$1-,$chr(3)) }
alias red { return $+($chr(3),04,$1-,$chr(3)) }
alias navy { return $+($chr(3),02,$1-,$chr(3)) }
alias blue { return $+($chr(3),12,$1-,$chr(3)) }
alias grey { return $+($chr(3),14,$1-,$chr(3)) }
alias teal { return $+($chr(3),10,$1-,$chr(3)) }
alias purple { return $+($chr(3),6,$1-,$chr(3)) }
alias magenta { return $+($chr(3),13,$1-,$chr(3)) }
alias bold { return $+($chr(2),$1-,$chr(2)) }
alias underline { return $+($chr(31),$1-,$chr(31)) }