saved_resource(13).