public void set_origin(String origins) { Library.set_origin(fullname, slot, origins); this.origin = origins; }