mp3 play with python at raspberry pi

import pygame
pygame.mixer.init()
pygame.mixer.music.load("myFile.mp3")
pygame.mixer.music.play()
while pygame.mixer.music.get_busy() == True:
    continue