document.write(' [14133/10954]');