function changeFonts(sizeoffont){

var strCSS = 'cssRules';  
	if(document.all) {  
		strCSS = 'rules';  
	}

var phDef = "16px";
var chDef = "13px";
var tDef = "12px";
var iDef = "11px";
var piDef = "12px";
var pDef = "12px";
var dDef = "12px";
var daDef = "12px";

var styleSheet = 1;

var da = document.styleSheets[styleSheet][strCSS][1];
var ph = document.styleSheets[styleSheet][strCSS][11];
var ch = document.styleSheets[styleSheet][strCSS][12];
var t = document.styleSheets[styleSheet][strCSS][13];
var i = document.styleSheets[styleSheet][strCSS][26];
var pi = document.styleSheets[styleSheet][strCSS][27];
var p = document.styleSheets[styleSheet][strCSS][28];
var d = document.styleSheets[styleSheet][strCSS][29];

if (sizeoffont==3){
	ph.style['fontSize'] = parseFloat(phDef) + 9 + "px";
	ch.style['fontSize'] = parseFloat(chDef) + 9 + "px";
	t.style['fontSize'] = parseFloat(tDef) + 9 + "px";
	i.style['fontSize'] = parseFloat(iDef) + 9 + "px";
	pi.style['fontSize'] = parseFloat(piDef) + 9 + "px";
	p.style['fontSize'] = parseFloat(pDef) + 9 + "px";
	d.style['fontSize'] = parseFloat(dDef) + 9 + "px";
	da.style['fontSize'] = parseFloat(dDef) + 9 + "px";
}else if (sizeoffont==2){
	ph.style['fontSize'] = parseFloat(phDef) + 6 + "px";
	ch.style['fontSize'] = parseFloat(chDef) + 6 + "px";
	t.style['fontSize'] = parseFloat(tDef) + 6 + "px";
	i.style['fontSize'] = parseFloat(iDef) + 6 + "px";
	pi.style['fontSize'] = parseFloat(piDef) + 6 + "px";
	p.style['fontSize'] = parseFloat(pDef) + 6 + "px";
	d.style['fontSize'] = parseFloat(dDef) + 6 + "px";
	da.style['fontSize'] = parseFloat(dDef) + 6 + "px";
}else if (sizeoffont==1){
	ph.style['fontSize'] = phDef;
	ch.style['fontSize'] = chDef;
	t.style['fontSize'] = tDef;
	i.style['fontSize'] = iDef;
	pi.style['fontSize'] = piDef;
	p.style['fontSize'] = pDef;
	d.style['fontSize'] = dDef;
	da.style['fontSize'] = daDef;
}


/*var chDef = document.styleSheets[0][strCSS][12].style['fontSize'];
var tDef = document.styleSheets[0][strCSS][13].style['fontSize'];
var iDef = document.styleSheets[0][strCSS][26].style['fontSize'];
var piDef = document.styleSheets[0][strCSS][27].style['fontSize'];
var pDef = document.styleSheets[0][strCSS][28].style['fontSize'];
*/

}