protected function op_number_color($op, $left, $right) { $value = $left[1]; return $this->op_color_color($op, array("color", $value, $value, $value), $right); }