var page_view = new Array();
var page_count = 0;
function page_menu(_title,_link,_target) {
this.page_title = _title;
this.page_link = _link;
_target == 0 ? this.page_target = '' : this.page_target = ' target=new';
this.show = show_page;
}
function show_page() {
document.write('<div style="margin-left:10px;" class=t2>»&nbsp;<a href='+this.page_link+this.page_target+'>'+this.page_title+'</a></div>');
}
var _view_page; _view_page='<h2>No documents found</h2>';