Definition of variable howManyTimes with prompt