function font(size){
//ChgFontSize
document.getElementById("ChgFontSize").style.fontSize = size + "em";
}