",__banner().'',$a); print ($a); } drupal_page_footer();