MBI00001234
How to guarantee unique policy numbers with PHP and PostgreSQL, and why the current code doesn't.