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