<?php include_once ("/websites/www.educ.cam.ac.uk/sitetech/generated_content/research_acadgroups.inc.php"); f_print_editing_info(); include_once ($_SERVER['DOCUMENT_ROOT'].dirname ($_SERVER['PHP_SELF'])."/staff/_staff/staff_header.html"); f_output_staff(); include_once ($_SERVER['DOCUMENT_ROOT'].dirname ($_SERVER['PHP_SELF'])."/staff/_staff/staff_footer.html"); ?>
