[colored_output.gif]