1 <?xml version=
"1.0" encoding=
"utf-8"?>
2 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.1//EN"
3 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
4 <html xmlns=
"http://www.w3.org/1999/xhtml">
6 <title>Javascript test for bigInt
</title>
9 <h1>Javascript test for bigInt
</h1>
10 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8" />
11 <script type=
"text/javascript" src=
"jsmain.js"></script>