RAMSEY16
0
0
1
0
309
0
