function put_img(name,file)
{
 document.images[name].src = file+".gif"; 
}