RAMSEY16
0
0
1
0
307
0
