#include <stdlib.h>
main(){
int i, j, NMax=12;

for(i=0;i<NMax;i++){
	printf("%i: %i\n", RAND_MAX, rand());
	};
}