( 5 5 80)