function fontsize(size){
document.getElementById("font").style.fontSize=size+'%';
}