hardcoding typenum