mod(80^65, 133)