contract Lotto {
    u256 ticketPrice = 500;
}