<?php
$CONFIG = array (
  'serverid' => crc32(gethostname()) % 512,
);