// Browser detect

var ie4 = (document.all && !document.getElementById) ? true:false;
var ns4 = (document.layers) ? true:false;
var dom2 = (document.getElementById) ? true:false;


// Random number generator: 0 to (max - 1)

function pickRandom(max) {
	return Math.floor(Math.random() * max);
}


function GetHTMLBodySubmit(me){
		me.URL.value = window.location;
		me.submit();
}