"; print $menu_bar; print $extra; print $extra_info; if($use_shortcuts) { include("$include_path/shortcuts/circ.sht"); } print $circ_layout; include("./circ/main.inc.php"); print alert_sound_script(); print $circ_layout_end; print $footer; mysql_close($dbh);