this.toString = null; this.value = value; this.valueOf = new Function( "return this.value" ); 
this.toString = null; this.value = value; this.valueOf = new Function( "return this.value" ); 
function MyOtherObject( value ) {    this.toString = null;    this.value = value;    this.valueOf = new Function( "return this.value" );}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/ToDouble-003-n.js/clean/js/tests/lc3/JSObject/ToDouble-003-n.js