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