function demo_html()
{
   var out;
   
   out = '<p align="left" class="right_menu"><a href="demo.htm" class="link3">DEMO</a><a href="demo.htm" class="link3a">&nbsp;see how it works</a><a href="demo.htm"><img src="gfx/arrow3.gif" alt="&#8250;" width="9" height="6" hspace="20" border="0" /></a></p>\n';
   out +=  '<a href="demo.htm"><img src="gfx/demo.gif" alt="demo of the pda solution" width="225" height="51" vspace="4" border="0" /></a>';

   document.write( out );	
}