A red stripe on the flag is 100 millimeters tall, and the flag is 130 centimeters tall. The height of the flag is how many times as tall as the height of a red stripe?