Muslims are not permitted to gamble or drink alcohol by the legal code known as the: