function split(string, tok) {
	return string.split(tok);
}

function inset(t, c) {
	t.style.borderStyle = "inset";
	t.style.borderWidth = c;
}
function outset(t, c) {
	t.style.borderStyle = "outset";
	t.style.borderWidth = c;
}
function myclk(id) {
	id.click();
}