my $random = sprintf "%04d", rand 10000;