document.write(' 130193 ');