function thumbnailSwapIn(src) {
	var dst = document.imageView;
	if(dst) {
		src.originalSrc=dst.src;
		src.originalImage=dst.style.backgroundImage;
		dst.src=src.src;
		dst.style.backgroundImage=src.style.backgroundImage;
	}
}

function thumbnailSwapOut(src) {
	var dst = document.imageView;
	if(dst) {
		dst.src=src.originalSrc;
		dst.style.backgroundImage=src.originalImage
	}
}