Updating das.h