<!-- global_random_tools -->
<!--

/**
 * Get a random number as string.
 *
 * @param digits Number of digits.
 * @return a random number with the specified number of digits  (may have leading zeros, may be shorter than requested)
 */
function RND_getRandomNumberString(digits)
{
	var randomValue = Math.random(); // value between 0 and 1, e.g. 0.3834417857195922
	var randomString = "" + randomValue;
	randomString = STR_right(randomString, digits);
	return randomString;
}

-->