function play() {
  top.player.location.href="pages/player.php?mode=play";
  }  
  
function play_song(song) {
  top.player.location.href="../pages/player.php?mode=play&song="+song+".wvx";
  }  
  

function player_stop() { 
  top.player.location.href="pages/player.php?mode=stop";
  }