document.write(' [4286/1216]');