function plays (file)  
{ location.href=file; }