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

        rgb = color2int(color);

        hex = int2hex(rgb);

        return(hex);
}