public function set_ID($ID)
{
if (!empty($ID)) {
$this->prefix = str_replace('.', '_', $ID) . '.';
}
$this->lock_key_prefix = self::lock_key_prefix . $this->prefix;
$this->defragmentation_prefix = self::defragmentation_prefix;
$this->tags_prefix = self::tags_prefix . $this->prefix;
}