\xdef\fmtversion{\fmtversion+WEB9PT1.0}
\input 9point.tex
\ninepoint
\let\sc=\sevenrm \let\mainfont=\ninerm
\font\tentex=cmtex9
