var defaultFontNormal='normal';
var defaultFontLarge='large';
var defaultFont = 'x-small';
var browserCheck = (document.all) ? 1 : 0;
function changeFont(){
	if(browserCheck > 0) {
		if(defaultFont == 'large'){
	        defaultFont='x-small';
	    }else{
	        defaultFont='large';
	    }
	} else {
	    if(defaultFont == 'large'){
	        defaultFont='small';
	    }else{
	        defaultFont='large';
	    }
	}
    doChangeFont();
}

function doChangeFont(){
    var len = parent.mainframe.document.all.length;
    for(var i=0;i < len; i++){
        parent.mainframe.document.all[i].style.fontSize = defaultFont;
    
    }
}