function BuyTicket() public payable {
  require(drawParticipants.length < requiredParticipants);
  require(msg.value == 1 ether);
  require(!HasAlreadyEntered());
  drawParticipants.push(msg.sender);
}