How do you find #abs( 5+12i )#?