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