void re()                                             // reset display