BEGIN{
    while ( (getline < "junk.dat") > 0 ) {
	printf("%8.5f %s \n", rand(), $0) > "junk2.dat";
    }
}