State details

25
Abrivated code for the state