What does `msg.random` do?