inc_header_directory_js = '\n \n \n \n \n ' + '\n \n \n
Lehigh UniversityCampus Directory
'; // end_var_declaration document.write(inc_header_directory_js);