<?php

    function toJSString ($string) {

        $result='"';

        for ($i=0; $i<strlen($string); $i++) {

            if ($string[$i] == '"') {

                $result .= '\\"';

            } else if ($string[$i] == '\\') {

                $result .= '\\\\';

            } else {

                $result .= $string[$i];

            }

        }

        return $result.'"';

    }

?>