document.write(' 5093 ');