text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
   * String.prototype.toLowerCase()
   *
   * @path ch15/15.5/15.5.4/15.5.4.16/S15.5.4.16_A1_T7.js
   * @description Call toLowerCase() function of NaN
   */
  
  Number.prototype.toLowerCase = String.prototype.toLowerCase;
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#1
  if (NaN.toLowerCase()!== "nan") {
    $ERROR('#1: Number.prototype.toLowerCase = String.prototype.toLowerCase; NaN.toLowerCase()=== "nan". Actual: '+NaN.toLowerCase());
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  