document.write(' 5194 ');