(13!)^(16!)