public String value_string(Object x)
  {
    if (x == null                      ) return "''";
    else if(x instanceof String        ) return "'" + x.toString() + "'";
    else if(x instanceof java.util.Date) return sql_date((java.util.Date)x);
    else                                 return x.toString();
  }