function borderfix(what) {
	document.write(what);
}