( 2 5 8 0)