function imageswap(id,file) {
	document.getElementById(id).src=file;
}