def helper12(): return 12