public function getPreciseLevelName() { if (this.level.name.ends(".gmap")) { return this.level.getmappartfile(this.x, this.y); } return this.level.name;}