text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  /**
   * String.prototype.indexOf(searchString, position)
   *
   * @path ch15/15.5/15.5.4/15.5.4.7/S15.5.4.7_A1_T6.js
   * @description Call indexOf(searchString, position) function with x argument of new String object, where x is undefined variable
   */
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#1
  //since ToString(undefined) evaluates to "" indexOf(undefined) evaluates to indexOf("",0)
  if (new String("undefined").indexOf(x) !== 0) {
    $ERROR('#1: var x; new String("undefined").indexOf(x) === 0. Actual: '+new String("undefined").indexOf(x) ); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  var x;
  
  