rewrite3 (1)