/* convert color index to hex RGB value */
color2hex(color)
{
        local pal, hex;

        pal = color2int(color);

        hex = int2hex(pal);

        return(hex);
}