/*global*/  int rnd(int );