function datajump(datafile){
	this.location.href=datafile;
}