document.write(' 130012 ');