Lines...

How can this:
var Color header_color = $*header_bgcolor;
var Color headerMinus5 = $header_color->darker(50);
var Color headerPlus3 = $header_color->lighter(30);
var string corner_color = "/p0"+$headerPlus3->substr(1,6)+"1"+$headerMinus5->substr(1,6)+"2"+$header_color->substr(1,6);
be changed to specific colours?