function changeImage(img_file) 
{
var bild_change = new Image();
bild_change.src = img_file;
document.images['img_big'].src = bild_change.src;
}