var ListElem= new Array("

No documents found

"); var nDocs = (ListElem.length-1) / 4 +1 var thisId = 1 var interval = 2500 function wrNewsTicker () { if (ListElem.length == 1) { document.writeln("No documents found") } else { for (i=0;i