// names of attributes for form_updates reply node, see galaxy.js
//var attributeNames = new Array("source", "destination", "date", "airline", "time", "flight_mode");
var attributeNames = new Array("source", "destination", "airline", "date", "time");