WinKeys is an application to bind windows to numbers so they can be minimized/restored efficiently in user defined groups