woocommerce lottery pick number

Question

1. I want to edit my paid WooCommerce plugin. It generates lottery numbers in 1, 2, 3, 4, and I want it in 4 digits like 0001, 0002, 0003, 0004.

   function woocom