Server-side seed for test7