function changeFontSize(id,fontSize)
{
$("#"+id).css({"fontSize":fontSize});
}

function changePic(node){
	 try{		  
	 	document.getElementById("pro_img").src = node.src;
	 }catch(e){
	   alert(e.description);
	 }
}

function recoveryPic(){
	try{	
		document.getElementById("pro_img").src = document.getElementById("old_img").value;
	}catch(e){
	    alert(e.description);
	}
}