// JavaScript Document
function thumbswap(url,dest){
	document.getElementById(dest).src = url;
}