Some Statistical Evidence on Javanese Social, Economic and Demographic History in the Later Seventeenth and Eighteenth Centuries