contract DOTS is DOTSToken {
  // @dev DOTS constructor just parametrizes the DOTSToken constructor
  function DOTS(
  ) DOTSToken(
    0xd010cfdf53b23b27fe80ea418843b428c4c3526e, // address of tokenfactory
    0x0,                    // no parent token
    0,                      // no snapshot block number from parent
    "DOTS",                 // Token name
    18,                     // Decimals
    "DOT$",                 // Symbol
    true                    // Enable transfers
    ) public {}
}
function DOTS(
) DOTSToken(
  0xd010cfdf53b23b27fe80ea418843b428c4c3526e, // address of tokenfactory
  0x0,                    // no parent token
  0,                      // no snapshot block number from parent
  "DOTS",                 // Token name
  18,                     // Decimals
  "DOT$",                 // Symbol
  true                    // Enable transfers
  ) public {}

// @dev DOTS constructor just parametrizes the DOTSToken constructor