String.prototype.trim = function() { return this.replace(/^\s+|\s+$/, ''); };

var domOk = document.getElementById;

function doNothing() {}

function getRef(id) { return document.getElementById(id); }

function elementShow(ref) { ref.className = ref.className.replace(/Hidden/, "Shown"); }
function elementHide(ref) { ref.className = ref.className.replace(/Shown/, "Hidden"); }
function elementOver(ref) { ref.className = ref.className.replace(/Default/, "Over"); }
function elementOut(ref) { ref.className = ref.className.replace(/Over/, "Default"); }

function ToInteger(value) {
    var i = parseInt(value.match(/\d+/), 10);
    return isNaN(i) ? 0 : i;
}

function ToSignedInteger(value) {
    var i = parseInt(value.match(/[+-]\d+/), 10);
    return isNaN(i) ? 0 : i;
}

function ChangeLanguage(code) {
	var url = document.location+"";
	url = url.replace(/\?lang\=(EN|DE|FR|ES)/, "");
	url = url + "?lang="+code;
	document.location = url;
}