function fontsize(a){"100%"==a?$("body").css("font-size","12px"):$("body").css("font-size",a)};