updated es3.c