function chgpic(file) {
   document.getElementById("maininright").innerHTML = "<img src=\"pic/"+file+".jpg\" alt=\"\">";
}