this.dept = "engineering"; this.machine = ""; 
this.dept = "engineering"; this.machine = ""; 
function Engineer () {    this.dept = "engineering";    this.machine = "";}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/proto_4.js/buggy/js/tests/js1_3/inherit/proto_4.js