function dt1 () {
  document.write('<dt><a href="industry/index.html">電子部品・電子機器業界</a></dt>');
}
function dt2 () {
  document.write('<dt><a href="industry/bio.html">バイオ・医薬業界</a></dt>');
}
function dt3 () {
  document.write('<dt><a href="industry/communication.html">通信・ケーブル関連業界</a></dt>');
}
function dt4 () {
  document.write('<dt><a href="industry/production.html">製造業界</a></dt>');
}