var sajax_debug_mode = false;
var sajax_request_type = "GET";
var sajax_failure_redirect = "";
function sajax_debug(text) {
if (sajax_debug_mode)
alert(text);
}
 function sajax_init_object() {
 sajax_debug("sajax_init_object() called..")
 var A;
 var msxmlhttp = new Array(
'Msxml2.XMLHTTP.5.0',
'Msxml2.XMLHTTP.4.0',
'Msxml2.XMLHTTP.3.0',
'Msxml2.XMLHTTP',
'Microsoft.XMLHTTP');
for (var i = 0; i < msxmlhttp.length; i++) {
try {
A = new ActiveXObject(msxmlhttp[i]);
} catch (e) {
A = null;
}
}
if(!A && typeof XMLHttpRequest != "undefined")
A = new XMLHttpRequest();
if (!A)
sajax_debug("Could not create connection object.");
return A;
}
var sajax_requests = new Array();
function sajax_cancel() {
for (var i = 0; i < sajax_requests.length; i++) 
sajax_requests[i].abort();
}
var ajax_aktiv = 0;
function sajax_do_call(uri, target_id) {
if ( ajax_aktiv == 0 )
{
ajax_aktiv = 1;
var i, x, n;
var post_data;
var data;
sajax_debug("in sajax_do_call().." + sajax_request_type + "/" + target_id);
if (typeof(sajax_request_type) == "undefined" || sajax_request_type == "") 
sajax_request_type = "GET";
x = sajax_init_object();
if (x == null) {
if (sajax_failure_redirect != "") {
location.href = sajax_failure_redirect;
return false;
} else {
sajax_debug("NULL sajax object for user agent:\n" + navigator.userAgent);
return false;
}
} else {
x.open(sajax_request_type, uri, true);
// window.open(uri);
sajax_requests[sajax_requests.length] = x;
if (sajax_request_type == "POST") {
x.setRequestHeader("Method", "POST " + uri + " HTTP/1.1");
x.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
}
x.onreadystatechange = function() {
if (x.readyState != 4) 
return;
sajax_debug("received " + x.responseText);
data = x.responseText;
document.getElementById(target_id).innerHTML = data;
ajax_aktiv = 0;
}
}
x.send(post_data);
delete x;
return true;
}
return false;
}
function popupPic( url )
{
Fenster = window.open( url, "novalispic", "height=590,width=430,scrollbars=no,resizable=no" );
Fenster.moveTo( 100, 100 );
Fenster.focus();
}
function popupResize()
{
if ( document.picfile.complete != true ) window.setTimeout("popupResize()", 200);
else 
{
window.resizeTo( document.picfile.width + 50, document.picfile.height + 150 );
}
}