document.write(' [424/493]');