not worth publishing, but anyways...