document.write(' [25232/19954]');