gn="top">
      <b><code>@postcondition:</code>&nbsp;...</b> </td><td>
      <code>@postcod:</code>&nbsp;... </td></tr>
    
    <tr><td align="left" valign="top">
      <b><code>@organization:</code>&nbsp;...</b> </td><td>
      <code>@org:</code>&nbsp;... </td></tr>
    
    <tr><td align="left" valign="top">
      <b><code>@copyright:</code>&nbsp;...</b> </td><td>
      <code>@(c):</code>&nbsp;... </td></tr>
    
    <tr><td align="left" valign="top">
      <b><code>@change:</code>&nbsp;...</b> </td><td>