A question about the Heavenletter numbers