EncodeJavascriptString($strings[$s]), "\n"; ?>