this.name = name || ""; this.dept = dept || "general"; 
this.name = name || ""; this.dept = dept || "general"; 
function Employee ( name, dept ) {    this.name = name || "";    this.dept = dept || "general";}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/proto_6.js/buggy/js/tests/js1_3/inherit/proto_6.js