function f217() {
if (typeof document.jsEnabled == 'undefined') {

document.jsEnabled = !(
!document.getElementsByTagName ||
!document.createElement        ||
!document.createTextNode       ||
!document.documentElement      ||
!document.getElementById);
}
return document.jsEnabled;
};




function f94(v23) {
var v218 = document.getElementById("debug");
if (v218) {
v218.innerHTML = v23;
}
}