function chgImg(varFile) {
document.mainimg.src = varFile;
}