function index(value) {
          // print('index ' + no);
          if (no == 1) string = u01;
          else if (no == 2) string = u02;
          else if (no == 3) string = u03;
          else if (no == 4) string = u04;
          else if (no == 5) string = u05;
          else if (no == 6) string = u06;
          else if (no == 7) string = u07;
          else if (no == 8) string = u08;
          else if (no == 9) string = u09;
          else if (no == 10) string = u10;
          else if (no == 11) string = u11;
          else if (no == 12) string = u12;
          // print(string);
          }
  "
  } ## end script
  } ## end proto