define copyright() { "copyright" } // rawoutput{ "&copyright;" } }
  
  define pagefooter() { 
    output(application.footer)