<page_title> List of TCP and UDP port numbers </page_title> <section_title> Registered ports </section_title> <table> <cell> 4728 <col_header> Port </col_header> </cell> </table>
Port 4728 was a registered port.