000000 22500 0 1250 « ——