function handleView(p) {
        var file;
        if ( window.document.frmFormat.fmt.value == 'pdf' )
                file = 'documents/pdfs/' + p + '.pdf';
        else    
                file = 'documents/powerpoints/' + p + '.ppt';
        window.open(file);
}
function setFormat(f) {
        window.document.frmFormat.fmt.value = f;
}