document.write(' [6485/4119]');