public static Ice.DispatchStatus getAccountNumber___(Account obj__, IceInternal.Incoming inS__, Ice.Current current__)
{
checkMode__(Ice.OperationMode.Normal, current__.mode);
inS__.readEmptyParams();
string ret__ = obj__.getAccountNumber(current__);
IceInternal.BasicStream os__ = inS__.startWriteParams__(Ice.FormatType.DefaultFormat);
os__.writeString(ret__);
inS__.endWriteParams__(true);
return Ice.DispatchStatus.DispatchOK;
}