document.write(' [15400/13477]');