function alt_tool(alt){
	document.getElementById("tool_alt_text").innerHTML=alt;
}
function kill_alt_tool(){
	document.getElementById("tool_alt_text").innerHTML=" ";
}