text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
  * @name: S15.5.1.1_A1_T16;
  * @section: 15.5.1.1;
  * @assertion: When String is called as a function rather than as a constructor, it performs a type conversion;
  * @description: Call String() with .12345 and analogous numbers;
  */
  
  var __str = String(.12345);
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#1
  if (typeof __str !== "string") {
    $ERROR('#1: __str = String(.12345); typeof __str === "string". Actual: typeof __str ==='+typeof __str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#2
  if (__str !== "0.12345") {
    $ERROR('#2: __str = String(.12345); __str === "0.12345". Actual: __str ==='+__str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  __str = String(.012345);
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#3
  if (typeof __str !== "string") {
    $ERROR('#3: __str = String(.012345); typeof __str === "string". Actual: typeof __str ==='+typeof __str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#4
  if (__str !== "0.012345") {
    $ERROR('#4: __str = String(.012345); __str === "0.012345". Actual: __str ==='+__str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  __str = String(.0012345);
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#5
  if (typeof __str !== "string") {
    $ERROR('#5: __str = String(.0012345); typeof __str === "string". Actual: typeof __str ==='+typeof __str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#6
  if (__str !== "0.0012345") {
    $ERROR('#6: __str = String(.0012345); __str === "0.0012345". Actual: __str ==='+__str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  __str = String(.00000012345);
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#7
  if (typeof __str !== "string") {
    $ERROR('#7: __str = String(.00000012345); typeof __str === "string". Actual: typeof __str ==='+typeof __str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#8
  if (__str !== "1.2345e-7") {
    $ERROR('#8: __str = String(.00000012345); __str === "1.2345e-7". Actual: __str ==='+__str ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  