function ChangeFontSize(id, size) {

	// Changes made on 9-24-08 by DY
	
	// The functioniality of the textsizer links is reversed here, because the CSS styling of the links (to match the new textsizer) places the 'make smaller' link on the right
	// Expecting a font size of 11 or 13 to be passed to this function from the page code
	
	var newsize=size; // Get the size passed to the function, in case it doesn't match 11 or 13.	
	
	if (size==11) {
		newsize=15;		
	}
	if (size==13) {
		newsize=11;		
	}
	document.getElementById(id).style.fontSize = newsize + "px";
}