<!-- print.js
// JavaScript for printing a page.
//
    
function varitext(text) {
                        text=document
                        print(text)
                        }
//  End -->
-->