Definition:

retype