2 <script type=
"text/javascript">
3 var CLOSURE_NO_DEPS = true;
5 <script type=
"text/javascript" src=
"/fe/armadillo.js"></script>
6 <script type=
"text/javascript" charset=
"utf-8">
7 var app = new armadillo.App();
8 app.serviceRequestMain();