];var player=new Video_player(options);