array_key=key;function PHPJS_Resource(a,c,b){this.type=a;this.id=c;this.opener=b}PHPJS_Resource.prototype.toString=function(){return"Resource id #"+this.id};PHPJS_Resource.prototype.get_resource_type=function(){return this.type};PHPJS_Resource.prototype.var_dump=function(){return"resource("+this.id+") of type ("+this.type+")"};