/*
Event.add(window, "keydown", function(e){
	var code;
	if (!e) var e = window.event;
	if (e.keyCode) code = e.keyCode;
	else if (e.which) code = e.which;

	if ((code == 13) && (e.ctrlKey == true)) {
		parent.submitarea.document.location.href = "/bin/changemode.php";
	}
});
*/

$(document).bind('keydown', 'alt+backspace', changeMode);

function changeMode(){
	parent.submitarea.document.location.href = "/bin/changemode.php";
}