import java.rmi.*;
public interface dsem extends Remote
{
    void passtoken() throws RemoteException;
}