# Random numbers

import sys
import random

def rand_int():
    return random.randint(0, sys.maxint)