document.write(' 7140 ');