function alterFontSize(value) {		    
 	  if(window.location.href.indexOf("?") > -1) {
 	    window.location = window.location.href.substr(0, window.location.href.indexOf("?"))  + '?fontSize=' + value;  	   
 	  } else {  	  
 	    window.location = window.location.href + '?fontSize=' + value;
 	  }
}