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