added A000007