function showbigimg(str)
{
  document.getElementById("bigimg").src=str;
}