function Get_state()
{
var the_player = document.getElementById("player");
return the_player.GetPlayState();
}
function player_play()
{
var just_type = choose_player(document.getElementById("sound_path").value);
var the_player = document.getElementById("player");