//default functions every page should have

function text_size(size){
  d = new Date();
  d.setDate(d.getDate()+30);
  document.cookie = "text_size="+size+"; expires="+d.toGMTString()+"; path=/";
  window.location.reload();
  return false;
}