How do you solve \frac { x } { 1 2 } = \frac { 8 0 } { 1 0 0 }?