{
	"srandom" : 0,
	"srand48" : 0
}