// JavaScript Document
var links=new Array();

links[0]="industry_ind.php";
links[1]="industry_che.php";
links[2]="industry_gra.php";
links[3]="industry_indl.php";
links[4]="industry_pac.php";
links[5]="industry_pla.php";
links[6]="industry_lif.php";
links[7]="industry_foo.php";
links[8]="industry_tec.php";
links[9]="industry_ser.php";



function getLink(num)
{
  location.href=links[num];
}