function butof( id ) {
	for( i=1; i<=3; ++i ) {
		document.getElementById( 'pan' + i ).className = 'poff' ;
		document.getElementById( 'btn' + i ).className = 'btn2' ;
	}
	document.getElementById( 'pan' + id ).className = 'pon' ;
	document.getElementById( 'btn' + id ).className = 'btn1' ;
}

function show_dot( pos ){
	document.getElementById( 'showdot' ).innerHTML = '<div class="loading">Nahrávám články, prosím o strpení</div>' ;
	call( './show_dot.php?pos=' + pos, null, show_dot_callback ) ;
}

function show_dot_callback ( val ) {
	document.getElementById( 'showdot' ).innerHTML = val ;
}