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