function swap(img, pos) {
    var im = document.getElementById('lafoto');
    im.src = "../foto_prod/" + img;
    var thumbs = document.getElementById('thumbs');
    var imatges = thumbs.getElementsByTagName('img');
    for (var i = 0; i < imatges.length; i++) {
	var im = imatges[i];
	im.className = '';
	if (pos == i)
	    im.className='actiu';
    }
}