( 15 2 5)