fprintf(STDERR, "G_sidebanner_idx = [%s]\n", print_r($G_sidebanner_idx, TRUE));
fprintf(STDERR, "G_with_splash = [%s]\n", print_r($G_with_splash, TRUE));
fprintf(STDERR, "G_with_topbanner = [%s]\n", print_r($G_with_topbanner, TRUE));
fprintf(STDERR, "G_sidebanner_idx = [%s]\n", print_r($G_sidebanner_idx, TRUE));
fprintf(STDERR, "G_with_splash = [%s]\n", print_r($G_with_splash, TRUE));
fprintf(STDERR, "G_with_topbanner = [%s]\n", print_r($G_with_topbanner, TRUE));