function RealPlayer(file)
{
 Clip = "RealPlayer.php?Clip=" + file + "#top";
 window.open(Clip, 'Videotheque', 'width=240, height=180, toolbar=0, status=0');
}