text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  /**
   * Math.random() returns a number value with positive sign, greater than or equal to 0 but less than 1
   *
   * @path ch15/15.8/15.8.2/15.8.2.14/S15.8.2.14_A1.js
   * @description Checking if Math.random() is a number between 0 and 1, calling Math.random() 100 times
   */
  
  // CHECK#1
  for (i = 0; i < 100; i++)
  {
  	val = Math.random();
  	if (val < 0 || val >= 1)
  	{
  		$ERROR("#1: Math.random() = " + val);
  	}
  }
  
  