document.write(' [4398/6253]');