function changeImg(name) {
  document.getElementById("content_img").src=name;
}
function changeImgAndName(name) {
  document.getElementById("content_img").src=name;
  document.getElementById("filename").firstChild.nodeValue=name;
}