function mp3player_play(playerid) {
  var dewp = document.getElementById(playerid);
  if(dewp!=null) dewp.dewplay();
}

function mp3player_stop(playerid) {
  var dewp = document.getElementById(playerid);
  if(dewp!=null) dewp.dewstop();
}

function mp3player_pause(playerid) {
  var dewp = document.getElementById(playerid);
  if(dewp!=null) dewp.dewpause();
}