document.write(' [15492/6283]');