document.write(' 5094 ');