pen rgbint(int r, int g, int b)
{
  return rgb(r/255,g/255,b/255);
}

pen AliceBlue=rgbint(240,248,255);
pen AntiqueWhite=rgbint(250,235,215);
pen Aqua=rgbint(0,255,255);
pen Aquamarine=rgbint(127,255,212);
pen Azure=rgbint(240,255,255);
pen Beige=rgbint(245,245,220);
pen Bisque=rgbint(255,228,196);
pen Black=rgbint(0,0,0);
pen BlanchedAlmond=rgbint(255,235,205);
pen Blue=rgbint(0,0,255);
pen BlueViolet=rgbint(138,43,226);
pen Brown=rgbint(165,42,42);
pen BurlyWood=rgbint(222,184,135);
pen CadetBlue=rgbint(95,158,160);
pen Chartreuse=rgbint(127,255,0);
pen Chocolate=rgbint(210,105,30);
pen Coral=rgbint(255,127,80);
pen CornflowerBlue=rgbint(100,149,237);
pen Cornsilk=rgbint(255,248,220);
pen Crimson=rgbint(220,20,60);
pen Cyan=rgbint(0,255,255);
pen DarkBlue=rgbint(0,0,139);
pen DarkCyan=rgbint(0,139,139);
pen DarkGoldenrod=rgbint(184,134,11);
pen DarkGray=rgbint(169,169,169);
pen DarkGreen=rgbint(0,100,0);
pen DarkKhaki=rgbint(189,183,107);
pen DarkMagenta=rgbint(139,0,139);
pen DarkOliveGreen=rgbint(85,107,47);
pen DarkOrange=rgbint(255,140,0);
pen DarkOrchid=rgbint(153,50,204);
pen DarkRed=rgbint(139,0,0);
pen DarkSalmon=rgbint(233,150,122);
pen DarkSeaGreen=rgbint(143,188,143);
pen DarkSlateBlue=rgbint(72,61,139);
pen DarkSlateGray=rgbint(47,79,79);
pen DarkTurquoise=rgbint(0,206,209);
pen DarkViolet=rgbint(148,0,211);
pen DeepPink=rgbint(255,20,147);
pen DeepSkyBlue=rgbint(0,191,255);
pen DimGray=rgbint(105,105,105);
pen DodgerBlue=rgbint(30,144,255);
pen FireBrick=rgbint(178,34,34);
pen FloralWhite=rgbint(255,250,240);
pen ForestGreen=rgbint(34,139,34);
pen Fuchsia=rgbint(255,0,255);
pen Gainsboro=rgbint(220,220,220);
pen GhostWhite=rgbint(248,248,255);
pen Gold=rgbint(255,215,0);
pen Goldenrod=rgbint(218,165,32);
pen Gray=rgbint(128,128,128);
pen Green=rgbint(0,128,0);
pen GreenYellow=rgbint(173,255,47);
pen Honeydew=rgbint(240,255,240);
pen HotPink=rgbint(255,105,180);
pen IndianRed=rgbint(205,92,92);
pen Indigo=rgbint(75,0,130);
pen Ivory=rgbint(255,255,240);
pen Khaki=rgbint(240,230,140);
pen Lavender=rgbint(230,230,250);
pen LavenderBlush=rgbint(255,240,245);
pen LawnGreen=rgbint(124,252,0);
pen LemonChiffon=rgbint(255,250,205);
pen LightBlue=rgbint(173,216,230);
pen LightCoral=rgbint(240,128,128);
pen LightCyan=rgbint(224,255,255);
pen LightGoldenrodYellow=rgbint(250,250,210);
pen LightGreen=rgbint(144,238,144);
pen LightGrey=rgbint(211,211,211);
pen LightPink=rgbint(255,182,193);
pen LightSalmon=rgbint(255,160,122);
pen LightSeaGreen=rgbint(32,178,170);
pen LightSkyBlue=rgbint(135,206,250);
pen LightSlateGray=rgbint(119,136,153);
pen LightSteelBlue=rgbint(176,196,222);
pen LightYellow=rgbint(255,255,224);
pen Lime=rgbint(0,255,0);
pen LimeGreen=rgbint(50,205,50);
pen Linen=rgbint(250,240,230);
pen Magenta=rgbint(255,0,255);
pen Maroon=rgbint(128,0,0);
pen MediumAquamarine=rgbint(102,205,170);
pen MediumBlue=rgbint(0,0,205);
pen MediumOrchid=rgbint(186,85,211);
pen MediumPurple=rgbint(147,112,219);
pen MediumSeaGreen=rgbint(60,179,113);
pen MediumSlateBlue=rgbint(123,104,238);
pen MediumSpringGreen=rgbint(0,250,154);
pen MediumTurquoise=rgbint(72,209,204);
pen MediumVioletRed=rgbint(199,21,133);
pen MidnightBlue=rgbint(25,25,112);
pen MintCream=rgbint(245,255,250);
pen MistyRose=rgbint(255,228,225);
pen Moccasin=rgbint(255,228,181);
pen NavajoWhite=rgbint(255,222,173);
pen Navy=rgbint(0,0,128);
pen OldLace=rgbint(253,245,230);
pen Olive=rgbint(128,128,0);
pen OliveDrab=rgbint(107,142,35);
pen Orange=rgbint(255,165,0);
pen OrangeRed=rgbint(255,69,0);
pen Orchid=rgbint(218,112,214);
pen PaleGoldenrod=rgbint(238,232,170);
pen PaleGreen=rgbint(152,251,152);
pen PaleTurquoise=rgbint(175,238,238);
pen PaleVioletRed=rgbint(219,112,147);
pen PapayaWhip=rgbint(255,239,213);
pen PeachPuff=rgbint(255,218,185);
pen Peru=rgbint(205,133,63);
pen Pink=rgbint(255,192,203);
pen Plum=rgbint(221,160,221);
pen PowderBlue=rgbint(176,224,230);
pen Purple=rgbint(128,0,128);
pen Red=rgbint(255,0,0);
pen RosyBrown=rgbint(188,143,143);
pen RoyalBlue=rgbint(65,105,225);
pen SaddleBrown=rgbint(139,69,19);
pen Salmon=rgbint(250,128,114);
pen SandyBrown=rgbint(244,164,96);
pen SeaGreen=rgbint(46,139,87);
pen Seashell=rgbint(255,245,238);
pen Sienna=rgbint(160,82,45);
pen Silver=rgbint(192,192,192);
pen SkyBlue=rgbint(135,206,235);
pen SlateBlue=rgbint(106,90,205);
pen SlateGray=rgbint(112,128,144);
pen Snow=rgbint(255,250,250);
pen SpringGreen=rgbint(0,255,127);
pen SteelBlue=rgbint(70,130,180);
pen Tan=rgbint(210,180,140);
pen Teal=rgbint(0,128,128);
pen Thistle=rgbint(216,191,216);
pen Tomato=rgbint(255,99,71);
pen Turquoise=rgbint(64,224,208);
pen Violet=rgbint(238,130,238);
pen Wheat=rgbint(245,222,179);
pen White=rgbint(255,255,255);
pen WhiteSmoke=rgbint(245,245,245);
pen Yellow=rgbint(255,255,0);
pen YellowGreen=rgbint(154,205,50);
