document.write('<div align="right">');
document.write('<A HREF="dp-intro.htm">Introduction</A><BR>');
document.write('<A HREF="dp-screen.htm">Screenshot</A><BR>');
document.write('<A HREF="dp-import.htm">Import formats</A><BR>');
document.write('<A HREF="dp-filters.htm">Deal filter</A><BR>');
document.write('<A HREF="dp-kudos.htm">Users say</A><BR>');
document.write('<A HREF="dp-download.htm">Download</A><BR>');
document.write('<A HREF="dp-reg.htm">Registering</A><BR>');
document.write('<A HREF="dp-rev.htm">Updates</A><BR>');
document.write('<A HREF="dp-bugs.htm">Bugs &amp;c.</A><BR>');
document.write('<A HREF="dp-samples.htm">Samples</A><BR>');
document.write('<A HREF="dp-news.htm">Newsletters</A><BR><br>');
document.write('<A HREF="index.html">Home</A><br>');
document.write('<a href="contactinfo.htm">Contact</a>');
document.write('</div>');