25415 ) ( 6^28)