• check_for_doubles() : pica.php
• check_registration_number() : pica.php
• db_error_mysql() : util.php
• db_query_mysql() : util.php
• error_msg() : util.php
• export_to_pica() : pica.php
• fields_init() : fields.php
• input_control() : fields.php
• link_maybe() : util.php
• normalize_input() : util.php
• param_ok() : util.php
• print_footer() : util.php
• print_header() : util.php
• print_table() : util.php
• redirect() : util.php

---