About 07:42am in the morning in late July, The Royal Mile, Edinburgh.