hat was