00233 >azay PSA-124:3 then
00233 >azay PSA-124:4 then
00233 >azay PSA-124:5 then
~~~~~~
~~~~~~