0000004142;12;4;0