function MM_textsize(size){
	document.getElementsByTagName('body')[0].style.fontSize=size;
	document.cookie = 'FONT_SIZE=' + size;
}