import java.rmi.*;

public interface RemoteInt extends Remote {
   public int haalnr() throws RemoteException;
}