function gotoFile(filename){
	location.href=filename;
}