NS4 = document.layers;
if (!NS4) {
	document.write(fontsize_html);
}