function showmenu(m) {
  c = document.getElementById(m);
  //alert(c);
  o = document.getElementsByTagName('span');
  for (i=0; i<o.length; i++) {
    if ( o.item(i) != c )
      o.item(i).style.display='none';
    //alert(o.item(i));
  }
  c.style.display='block';
}

function imagebar(d) {
  if ( ! ((window.innerWidth != null  &&  window.innerWidth < 900)  ||  (document.body.offsetWidth != null  &&  document.body.offsetWidth < 900)) ) {
    // Number of available images
    n = 410;
    // Number of images to show
    s = 7;
    usedImage = new Array(n);
    for (i=0; i<s; i++) {
      do {
        j = Math.floor(Math.random() * 0.999999 * n);
      } while ( usedImage[j] == 1 );
      document.write('<p class="decoration"><img border="0" src="' + d + 'photos/' + (j+1) + '.small.jpg" /></p>');
      usedImage[j] = 1;
    }
  }
}