function tab(filename) {
	top.location.href=filename;
}