!747
!1001094 // JavaLayer 1.0.1

import javazoom.jl.player.*;

m {
  p {
    File mp3 = loadLibrary("#1001093"); // deh polish music
    
    print("Playing mp3...");
    Player player = new Player(new FileInputStream(mp3));
    player.play();
    player.close();
    print("Done.");
  }
}