def rand(): return 4