document.write(' [1518/1493]');