php variable an javascript-DATEI übergeben

[suit]

z.B. so

echo "<script type="text/JavaScript"><!--
  var x=".$x.";
  ...
//--></script>";

bye trunx

das ist aber adnn ein externes file mit der endung .js ;)

zudem, warum diese komische auskommentiergeschichte fürs javascript? - willst du das ding vor netscape 4 verstecken?