function $(elemid){
	element = document.getElementById(elemid);
	return element;
}

function toolsImgSet(url, viewer, imgName, elem){
	$(elem).src=url + viewer + imgName;
	$(elem).parentNode.href=url + imgName.substr(1);
}