db =& $DB; } ?>