How much shorter is red line from green line?