// location_index.js
var location_index = new Array();
location_index[0] = "index.html";
location_index[1] = "pool_construction.html";
location_index[2] = "fish_pond.html";
location_index[3] = "jacuzzi_and_whirlpool.html";
location_index[4] = "water_feature.html";
location_index[5] = "artificial_rockwork.html";
location_index[6] = "maintenance.html";
location_index[7] = "contact_us.html";