text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
   * The Date.prototype property "getTime" has { DontEnum } attributes
   *
   * @path ch15/15.9/15.9.5/15.9.5.9/S15.9.5.9_A1_T2.js
   * @description Checking absence of DontDelete attribute
   */
  
  if (delete Date.prototype.getTime  === false) {
    $ERROR('#1: The Date.prototype.getTime property has not the attributes DontDelete');
  }
  
  if (Date.prototype.hasOwnProperty('getTime')) {
    $FAIL('#2: The Date.prototype.getTime property has not the attributes DontDelete');
  }
  
  
  