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