Gilmerton, in the county of Edinburgh..