john the green hat dog (john)