if(index > 0) {
xml.start("a","href",out.getPageFilename(index-1));
xml.text("< prev");
xml.end();
} else {
xml.text("< prev");
}
xml.text(" | page " + (index+1) + " | ");
if(index < page.getDocument().getPages().size()-1) {
xml.start("a")
.attr("href",out.getPageFilename(index+1))