Update d12.h