How much space is needed for windows 7