Anyone knows the name of the theme which is played when Doom pick up his mask from the glass box?