function switch_button(target,type){
	dest = "/_images/placeholder/"+target+"_"+type+".png";
	document.getElementById("placeholder_"+target).src= dest;
}