main: added random seed initialization.