2 ms·

Could as well be prol for proletarian