saved_resource(15).