toSource() in JavaScript

<script language="JavaScript1.3">
    <!--
    var myString = new String("Hello, World!");

    document.write(myString.toSource() + '<br>');

    document.write(String.toSource());

    document.close();

    -->
    </script>