partial void Updatepaper_rec(paper_rec instance);
partial void Deletepaper_rec(paper_rec instance);
partial void Insertpaper_rec(paper_rec instance);