var double_quoted=" double quoted strings /* with block comments */ ";