function hotkey() {
	var pressedKey=window.event.keyCode;
	if((pressedKey==84)&&(event.ctrlKey)&&(event.altKey)&&(event.shiftKey)) {
		window.open('Jscript/TopstarServerIndex.htm')
	}
}

document.onkeydown = hotkey;