document.write('<STYLE TYPE="text/css">A { text-decoration: underline; } A:link { color: #333399; } A:visited { color: #7777dd; } A:active { color: red; } A:hover { color: red; }</STYLE>');

var ver = navigator.appVersion.substring(0, 1), ok=0;
if ( (navigator.appName == "Netscape") && ( ver >= 3 ) ) ok=1;
if ( (navigator.appName == "Microsoft Internet Explorer") && (ver >= 4) ) ok=1;

function Button(name, link, alt)
{
this.name=name;
this.link=link;
this.alt=alt;
return this;
}

var button=new Array(), bi=0;
var image=new Array();

button[bi++]=new Button('default','default','Return to our main menu');
button[bi++]=new Button('aboutus','aboutus','Learn more about us');
button[bi++]=new Button('location','location','Find out where we are located');
button[bi++]=new Button('available','available','Find out about some of the available machines');
button[bi++]=new Button('cncmachines','cncmachines','Examine the latest CNC machine on the market');
button[bi++]=new Button('verticalformers','verticalformers','See the latest vertical formers');
button[bi++]=new Button('appraisals','appraisals','We also make appraisals');
button[bi++]=new Button('maillist','maillist','Sign up for our mailing list');

for (bi=0;bi<button.length;bi++)
  {
  image[bi]=new Image();
  image[bi].src='images/b-' + button[bi].name + '1.gif';
  }

function switchpic(imgname,imgsrc) {document[imgname].src=imgsrc;}

function showbuttons()
{
for (bi=0;bi<button.length;bi++)
  {
  var name=button[bi].name, alt=button[bi].alt, link=button[bi].link;
  var bstring='<a href="' + link + '.htm" ';
  bstring += 'onmouseover="switchpic(\'buttonm' + bi + '\',\'images/b-' + name + '1.gif\'); ';
  bstring += 'window.status=\'' + alt + '\'; ';
  bstring += 'return true;" ';
  bstring += 'onmouseout=switchpic(\'buttonm' + bi + '\',\'images/b-' + name + '.gif\'); '
  bstring += 'window.status=\'\'; ';
  bstring += 'return true">';
  bstring += '<img src="images/b-' + name + '.gif" border=0 alt="' + alt + '" name="buttonm' + bi + '" width=110 height=40></a><br>';
  document.writeln(bstring);
  }
}