function switchthumb(newloc) {
	a = newloc;
	document.images.picture.src = thumbs[newloc];
}

function nextthumb() {
	a++;
	while (a >= thumbs.length) {
		a = a - thumbs.length;
	}
	document.images.picture.src = thumbs[a];
}

function prevthumb() {
	a--;
	while (a < 0) {
		a = a + thumbs.length;
	}
	document.images.picture.src = thumbs[a];
}