function chfontsize(box,size){
var cssbox = document.getElementById(box);
cssbox.style.fontSize = size;
}