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

$internal_labels{"l2h-1"} = "/node3.html";
$internal_labels{"l2h-2"} = "/node3.html";
$internal_labels{"l2h-3"} = "/node3.html";
$internal_labels{"l2h-4"} = "/node17.html";