Brasil in world cup ( The record books )