
STYLE="list-style-type: disc"
><P
>      Color names can be replaced by their hexadecimal values, e.g.,
      <TT
CLASS="LITERAL"
>red, green, blue, magenta -&#62; FF0000, 00FF00, 0000FF, FF00FF</TT
>
     </P
></LI
><LI
STYLE="list-style-type: disc"
><P
>      If indexing numbers, we can
      remove some fractional digits to reduce the range of possible
      numbers, so for example <SPAN
CLASS="emphasis"
><I
CLASS="EMPHASIS"
>3.14</I
></SPAN
>159265359,
      <SPAN
CLASS="emphasis"
><I
CLASS="EMPHASIS"
