///////////////////////////////////////////////////////////////////////////////////////////////////////////
//////////////JavaScript Document//////////////////////////////////////////////////////////////////////////

function rb(x){
	//rb: remove border
	//entfernt den hässlichen Rand bei grafischen Links
	//Anwendung: <a onfocus="rb(this)" href="../index.html"></a>
	if(x.blur)x.blur()
}