How can I format numbers with php to be double digits (including leading zeros)?
echo sprintf("%02d", $en['num_pictures']);