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

$internal_labels{"l2h-1"} = "/node10.html";
$internal_labels{"l2h-2"} = "/node10.html";
$internal_labels{"l2h-3"} = "/node10.html";
$internal_labels{"l2h-4"} = "/node10.html";
$internal_labels{"l2h-5"} = "/node10.html";
$internal_labels{"l2h-6"} = "/node10.html";
$internal_labels{"l2h-7"} = "/node10.html";
$internal_labels{"l2h-8"} = "/node10.html";
$internal_labels{"l2h-9"} = "/node10.html";
$internal_labels{"l2h-10"} = "/node10.html";
$internal_labels{"l2h-11"} = "/node10.html";