<HTML>
<HEAD>
<TITLE>MC_TITLE: WebStone User Manual</TITLE>
<BODY BGCOLOR="#FFFFF8">
<IMG SRC="../doc/webstone.gif" ALT="WebStone" HEIGHT=50 WIDTH=200 ALIGN=LEFT>
<FONT SIZE=+2><STRONG>WebStone User Manual</STRONG></FONT>
<BR>
Last modified: MC_DATE
<BR CLEAR=LEFT>
<HR>
<H1>MC_TITLE</H1>
<HR>
