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

$internal_labels{"l2h-1"} = "/node9.html";
$internal_labels{"l2h-2"} = "/node10.html";
$internal_labels{"l2h-3"} = "/node11.html";
$internal_labels{"l2h-4"} = "/node11.html";
$internal_labels{"l2h-5"} = "/node26.html";
$internal_labels{"l2h-6"} = "/node26.html";
$internal_labels{"l2h-7"} = "/node26.html";
$internal_labels{"l2h-8"} = "/node27.html";
$internal_labels{"l2h-9"} = "/node27.html";
$internal_labels{"l2h-10"} = "/node29.html";
$internal_labels{"l2h-11"} = "/node29.html";
$internal_labels{"l2h-12"} = "/node29.html";
$internal_labels{"l2h-13"} = "/node29.html";
$internal_labels{"l2h-14"} = "/node29.html";
$internal_labels{"l2h-15"} = "/node46.html";