How much longer is green line from red line?