%internal_labels = ();
1;             # hack in case there are no entries

$internal_labels{"l2h-1"} = "/node4.html";
$internal_labels{"l2h-2"} = "/node4.html";
$internal_labels{"l2h-3"} = "/node5.html";
$internal_labels{"l2h-4"} = "/node6.html";
$internal_labels{"l2h-5"} = "/node6.html";
$internal_labels{"l2h-6"} = "/node6.html";
$internal_labels{"l2h-7"} = "/node6.html";
$internal_labels{"l2h-8"} = "/node6.html";
$internal_labels{"l2h-9"} = "/node7.html";
$internal_labels{"l2h-10"} = "/node7.html";
$internal_labels{"l2h-11"} = "/node7.html";
$internal_labels{"l2h-12"} = "/node7.html";
$internal_labels{"l2h-13"} = "/node7.html";
$internal_labels{"l2h-14"} = "/node7.html";
$internal_labels{"l2h-15"} = "/node7.html";
$internal_labels{"l2h-16"} = "/node7.html";
$internal_labels{"l2h-17"} = "/node7.html";
$internal_labels{"l2h-18"} = "/node8.html";
$internal_labels{"l2h-19"} = "/node8.html";
$internal_labels{"l2h-20"} = "/node8.html";
$internal_labels{"l2h-21"} = "/node8.html";
$internal_labels{"l2h-22"} = "/node8.html";
$internal_labels{"l2h-23"} = "/node8.html";
$internal_labels{"l2h-24"} = "/node8.html";
$internal_labels{"l2h-25"} = "/node8.html";
$internal_labels{"l2h-26"} = "/node8.html";
$internal_labels{"l2h-27"} = "/node8.html";
$internal_labels{"l2h-28"} = "/node8.html";
$internal_labels{"l2h-29"} = "/node9.html";
$internal_labels{"l2h-30"} = "/node9.html";
$internal_labels{"l2h-31"} = "/node9.html";
$internal_labels{"l2h-32"} = "/node9.html";
$internal_labels{"l2h-33"} = "/node11.html";
$internal_labels{"l2h-34"} = "/node12.html";
$internal_labels{"l2h-35"} = "/node15.html";
$internal_labels{"l2h-36"} = "/node15.html";
$internal_labels{"l2h-37"} = "/node18.html";
$internal_labels{"l2h-38"} = "/node18.html";
$internal_labels{"l2h-39"} = "/node18.html";
$internal_labels{"l2h-40"} = "/node18.html";
$internal_labels{"l2h-41"} = "/node18.html";
$internal_labels{"l2h-42"} = "/node18.html";
$internal_labels{"l2h-43"} = "/node18.html";
$internal_labels{"l2h-44"} = "/node18.html";
$internal_labels{"l2h-45"} = "/node18.html";
$internal_labels{"l2h-46"} = "/node18.html";
$internal_labels{"l2h-47"} = "/node18.html";
$internal_labels{"l2h-48"} = "/node18.html";
$internal_labels{"l2h-49"} = "/node18.html";
$internal_labels{"l2h-50"} = "/node18.html";
$internal_labels{"l2h-51"} = "/node18.html";
$internal_labels{"l2h-52"} = "/node18.html";
$internal_labels{"l2h-53"} = "/node18.html";
$internal_labels{"l2h-54"} = "/node18.html";
$internal_labels{"l2h-55"} = "/node18.html";
$internal_labels{"l2h-56"} = "/node18.html";
$internal_labels{"l2h-57"} = "/node18.html";
$internal_labels{"l2h-58"} = "/node18.html";
$internal_labels{"l2h-59"} = "/node18.html";
$internal_labels{"l2h-60"} = "/node18.html";
$internal_labels{"l2h-61"} = "/node18.html";
$internal_labels{"l2h-62"} = "/node18.html";
$internal_labels{"l2h-63"} = "/node18.html";
$internal_labels{"l2h-64"} = "/node18.html";
$internal_labels{"l2h-65"} = "/node18.html";
$internal_labels{"l2h-66"} = "/node18.html";
$internal_labels{"l2h-67"} = "/node18.html";
$internal_labels{"l2h-68"} = "/node18.html";
$internal_labels{"l2h-69"} = "/node18.html";
$internal_labels{"l2h-70"} = "/node18.html";
$internal_labels{"l2h-71"} = "/node18.html";