function include_once( filename ) {
var cur_file = {};
cur_file[window.location.href] = 1;
if (!window.php_js) window.php_js = {};
if (!window.php_js.includes) window.php_js.includes = cur_file;
if (!window.php_js.includes[filename]) {
return this.include(filename);
} else{
return window.php_js.includes[filename];
}
}