document.write(' [12011/13010]');