inc_htmlinclude_js =
'<a href="/airports/">Airports of World</a> | <a href="/a'
+ 'irlines/">Airlines of World</a> | <a href="/airport-code'
+ 's/">Airports 3-Digit Codes</a> | <a href="/itinerary/">V'
+ 'iew all Itineraries</a>';

// end_var_declaration
document.write(inc_htmlinclude_js);