rem: this.seed = (( this.seed * 1309) + 13849) & 0xffff; return this.seed; 
add: this.seed = (( this.seed * 1309) + 13849) & 0xffff; return this.seed; 
context: function rand(){	this.seed = (( this.seed * 1309) + 13849) & 0xffff;	return this.seed;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/08a077d57dc510e057e35378883f6673be4bb4ec/BenchPress.js/buggy/js/benchmarks/BenchPress.js