function msieversion() {
	var ua= window.navigator.userAgent;
	var msie = ua.indexOf("MSIE ");
	if (msie>0)
		return parseInt(ua.substring(msie+5,ua.indexOf(".",msie)));
	else
		return 0;
}
if (msieversion()>=4) {
	document.writeln('<'+'style'+'>\n'
		+'P,BODY,UL,OL,LI,DT,DD,H4,.usual {font-size: x-small;}\n'
		+'H3 {font-size: small;}\n'
		+'<'+'/style'+'>');
}