var title = 'hey';
var docs = new Array(0);
var docnames = new Array(0);
var his = new Array();