function printVirtualFooter() { document.write(''); } function printVirtualIndexTree() { document.write('
employee portal
customer portal
'); }