is the length of the shortest program that prints the string .