document.write(' 18312 ');