// JavaScript Document

var size1 = '';
var size2 = '';
var size3 = '';

if (getCookie("fontsize")!=null) {
	if (getCookie("fontsize")==1) {
		document.write('<div id="middle">');
		size1 = 'small';
		size2 = '<a href="#" onclick="javacript:setFont(2);">medium</a>';
		size3 = '<a href="#" onclick="javacript:setFont(3);">large</a>';
	}
	if (getCookie("fontsize")==2) {
		document.write('<div id="middle2">');
		size1 = '<a href="#" onclick="javacript:setFont(1);">small</a>';
		size2 = 'medium';
		size3 = '<a href="#" onclick="javacript:setFont(3);">large</a>';
	}
	if (getCookie("fontsize")==3) {
		document.write('<div id="middle3">');
		size1 = '<a href="#" onclick="javacript:setFont(1);">small</a>';
		size2 = '<a href="#" onclick="javacript:setFont(2);">medium</a>';
		size3 = 'large';
	}
} else {
document.write('<div id="middle">');
size1 = 'small';
size2 = '<a href="#" onclick="javacript:setFont(2);">medium</a>';
size3 = '<a href="#" onclick="javacript:setFont(3);">large</a>';
}