def helper13(): return 13