document.write(' 18319 ');