UNKNOWN {
	if: -1)
    document.write('.tiny  { font-family: Tahoma, Verdana, Arial; font-size:  7pt}\n'); else: 
}
UNKNOWN {
	font-size: 8pt; font-family: Tahoma, Verdana, Arial
}