my $string = "abcdefABCDEF" x 10000;