fix to awk random number generation
fix to awk random number generation