<?php

print ("<P><center><B>$choral_helpusagenotesdatatitle</B></center>
<P><ol>
<li>$choral_helpusagenotesdatatext
</ol>
<P><center><B>$choral_helpusagenotessearchtitle</B></center>
<P><ol>
<li>$choral_helpusagenotessearchtext
</ol>");


?>