/home/newhall/public/gdb_examples
/home/newhall/public/purify_valgrind_examples
$fname = basename($_SERVER['PHP_SELF']); $last_modified = filemtime($fname); print("Last updated: "); print(date("l, F d, Y", $last_modified)); print(" at "); print(date("h:i:s A", $last_modified)); ?>