# LaTeX2HTML 95.1 (Fri Jan 20 1995) # Associate symbolic labels with physical files. $external_labels{"fig1"} ="$URL/eichhorng.html"; 1;