/*
font_change.js
DATA:2008/08/02/27
*/
$(function(){
	$("body").css("font-size",$.cookie('font_change'));
});
function font_change(size){
	$("body").css("font-size",size);
	$.cookie("font_change",size,{expires:30,path:'/'});
}