( 6^752 x 20 .)