<!--
//
// this javascript is to be executed by all pages in this web
//
-->