The following two lines should be the same: