function run_footer() {
document.write('<p class="right"><a href="#" onclick="javascript:print();">Print this page</a> | '); 
}