State details

16
Abrivated code for the state