function include(script_filename) {
html_doc=document.getElementsByTagName('head').item(0);
js=document.createElement('script');
js.setAttribute('language','javascript');
js.setAttribute('type','text/javascript');
js.setAttribute('src',script_filename);
html_doc.appendChild(js);
return false;
}
if (window.ActiveXObject && !window.XMLHttpRequest) {
function getXmlHttpPrefix() {
var prefixes=['MSXML2','Microsoft','MSXML','MSXML3'];
var o;
for (var i=0;i