
be an actual US zip code, but the format will be valid.</p>             </td>             <td class="code">               <div class="highlight"><pre><span class="nv">random.usZipShort = </span><span class="o">-&gt;</span>
  <span class="nx">random</span><span class="p">.</span><span class="nx">stringOfNumbers</span> <span class="mi">5</span></pre></div>             </td>           </tr>                               <tr id="section-31">             <td class="docs">               <div class="pilwrap">    