((:COMMENT "Dummy token")
(:CONTAIN "HTML" NIL
((:CONTAIN "HEAD" NIL
((:TAG "META" (:ATTVAL "http-equiv" "Content-Type")
(:ATTVAL "content" "text/html; charset=utf-8"))
(:TAG "LINK" (:ATTVAL "REL" "SHORTCUT ICON")
(:ATTVAL "HREF" "/groups/img/favicon.ico"))
(:CONTAIN "TITLE" NIL ((:TEXT "Google Groups : Advanced Search")))
(:CONTAIN "noscript" NIL
((:CONTAIN "style" ((:ATTVAL "type" "text/css"))
((:COMMENT
".noscripthide { display:none; } .noscriptinline { display:inline; } .noscriptblock { display:block; }")))))
(:CONTAIN "script" ((:ATTVAL "language" "javascript"))
((:COMMENT
"document.write('');
//")))
(:CONTAIN "script" ((:ATTVAL "language" "javascript1.2"))
((:COMMENT "if (document.getElementById)
document.write('');
//")))
(:CONTAIN "script" ((:ATTVAL "language" "javascript1.3"))
((:COMMENT "if (document.getElementById)
document.write('');
//")))
(:CONTAIN "style" ((:ATTVAL "type" "text/css"))
((:COMMENT "@import \"/groups/style.css?av=&hl=en&v=290\";")))
(:CONTAIN "script"
((:ATTVAL "language" "javascript1.3")
(:ATTVAL "src"
"/groups/static/release/g2_common-e9cfb8eb4241184a6b2918f7b710d06d.js"))
NIL)
(:CONTAIN "script" ((:ATTVAL "language" "javascript"))
((:COMMENT "// ----------------------------------
// used for dynamic function generation on event handlers
var loaddef = \"\";
var resizedef = \"\";
//-----------------------------------
// Browser detection and support
var agt = navigator.userAgent.toLowerCase();
var is_opera = (agt.indexOf(\"opera\") != -1);
var is_ie = (agt.indexOf(\"msie\") != -1) && document.all && !is_opera;
var is_ie5 = (agt.indexOf(\"msie 5\") != -1) && document.all;
window.agt = agt;
window.is_opera = is_opera;
window.is_ie = is_ie;
window.is_ie5 = is_ie5;
// ----------------------------------
// cross-browser functions
var IE_all_cache = new Object();
function IE_getElementById(id) {
if (IE_all_cache[id] == null) {
IE_all_cache[id] = document.all[id];
}
return IE_all_cache[id];
}
if (document.all) {
if (!document.getElementById) {
document.getElementById = IE_getElementById;
}
}
//----------------------------------
// Timezone detection (sets cookie)
try {
var tz_offset = (new Date()).getTimezoneOffset();
document.cookie = 'GTZ=' + tz_offset + ';path=/;expires=Mon, 01-Jan-2024 00:00:01 GMT';
} catch(e) {} // might not be able to set cookies through js
// ---------------------------------
// shelled functions for old javascript
function tog() {}
//")))
(:CONTAIN "script" ((:ATTVAL "language" "javascript1.3"))
((:COMMENT "// ----------------------------------
// visibility functions
function tog() {
// tog: toggle the visibility of html elements (arguments[1..]) from none to
// arguments[0]. Return what should be returned in a javascript onevent().
display = arguments[0];
for( var i=1; i