sounds are taken from the soundtrack, buy it on itunes or google play or something.
hal3 is from a different texture pack, I recommend not using it- bad lag.
For info on how to use the sounds go to: http://minecraft.gamepedia.com/Commands