<?php function Destroy (&$o) {
	if (method_exists($o, "__destructor")) {
		$o->__destructor();
	} /* if */
	$o = NULL;
} /* Destroy() */ ?>