if (document.images) {
  flTickets_r2_c1_f2 = new Image(150 ,24); flTickets_r2_c1_f2.src = "images/flTickets_r2_c1_f2.gif";
  flTickets_r2_c1_f1 = new Image(150 ,24); flTickets_r2_c1_f1.src = "images/flTickets_r2_c1.gif";
}