PHP app to generate random 4 digit PINs