function case_html()
{
   var out;

   out = '<p align="left" class="right_menu"><a href="casestudy.htm" class="link3">CASE STUDY</a><a href="demo.htm" class="link3a">&nbsp;for real applications</a><a href="casestudy.htm"><img src="gfx/arrow4.gif" alt="&#8250;" width="9" height="6" hspace="11" border="0" /></a></p>\n';
   out +=  '<a href="casestudy.htm"><img src="gfx/casestudy.gif" alt="case study of the pda solution" width="225" height="51" vspace="4" border="0" /></a>';

   document.write( out );	
}