document.write(' [12432/10019]');