function setBarExtension( $extension )
{
	document.getElementById( 'leftbar-repeat' ).style.height= $extension;
}


function resetBarExtension( )
{
	document.getElementById( 'leftbar-repeat' ).style.height= '0px';
}