float TICKET_WIDTH=25; float TICKET_HEIGHT=5; color[] TICKET_COLOURS=new color[5]; void setup_ticket_colours() { for (int i=0; i