document.write(' 130542 ');