if(!document.getElementById){
  if(document.all)
  document.getElementById=function(){
    if(typeof document.all[arguments[0]]!="undefined")
    return document.all[arguments[0]]
    else
    return null
  }
  else if(document.layers)
  document.getElementById=function(){
    if(typeof document[arguments[0]]!="undefined")
    return document[arguments[0]]
    else
    return null
  }
}

function change_big_image(src) {
	img = document.getElementById('bigimage');
	info.style.visibility="hidden"; 
	bigimage.style.visibility="visible"; 
	var re = new RegExp("thumbnails", "g");
	src = src.replace(re, "fullscale");
	img.src = src;
}