function ChangeSize(s) {
content.style.fontSize=s + "px";
}