function changetint(imgname) 

{

document.getElementById("tints").src=imgname;

}