var links = new Array ("industryindex");
var links_text = new Array ("Overview");
var links_url = new Array ("../industry/index.htm");