function $(id) {
	return document.getElementById(id);
}

function swap_img(img_id, src) {
	$(img_id).src = src;
	return false;
}