# LaTeX2HTML 95 (Thu Jan 19 1995)
# Associate symbolic labels with physical files.

$external_labels{"naive"} ="$URL/node4.html"; 

1;