document.write(' [12160/1244]');