text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /*---
  info: >
      The Date.prototype.getMonth property "length" has { ReadOnly, DontDelete,
      DontEnum } attributes
  es5id: 15.9.5.12_A3_T2
  description: Checking DontDelete attribute
  includes: [$FAIL.js]
  ---*/
  
  if (delete Date.prototype.getMonth.length  !== false) {
    $ERROR('#1: The Date.prototype.getMonth.length property has the attributes DontDelete');
  }
  
  if (!Date.prototype.getMonth.hasOwnProperty('length')) {
    $FAIL('#2: The Date.prototype.getMonth.length property has the attributes DontDelete');
  }
  