function changeImage(filename)
{
  var ob = document.getElementById('mainimage');
  ob.src = filename;
}