if (document.domain.indexOf("d-") != 0) {
	document.onkeydown = function() {if((event.ctrlKey) || (event.altKey)) alert(all_txt_alert_ctrlkey); }
	document.onselectstart = function() {return false;}
	document.oncontextmenu = function() {return false;}
}