/* Class143 - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */

public class Class143
{
    int anInt1711;
    int anInt1712;
    int anInt1713;
    
    Class143() {
	/* empty */
    }
}
