This will generate a random number between 0 and 4000 in php.


srand(time());
$form_id = (rand()%4000);

echo "$form_id";