if (document.all) document.write('<table><tr><td align=center><a href="#" '
	+'onclick="aenderGroesse(1)"><img '
	+'alt="Schrift vergr&ouml;&szlig;ern" border="0" height="20" '
	+'src="/matth/basic/bilder/lupe.gif" width="23"></a>'
	+'</td></tr>'
	+'<tr><td>'
	+'Schrift vergr&ouml;&szlig;ern<br>&nbsp;'
	+'</td></tr></table>'
	);
gLupeSize=11;

function aenderGroesse(diff) {
	gLupeSize += diff;
	var all = document.all;
	var allLength = all.length;
	for (var i = 0; i < allLength; i++) {
		if ( all[i].lupe )
		{
			var obj = all[i];
			aenderGroesseObj(obj);
		}
	}
}
function aenderGroesseObj(obj) {
	if (obj.style) {
		obj.style.fontSize = '' + gLupeSize + 'px';
	}
	for (var i = 0; i < obj.childNodes.length; i++) {
		aenderGroesseObj(obj.childNodes[i]);
	}
}