$videofile = $_GET['vid2play']; ?>