Basic facts of world cup 1987