document.write(' 80392 ');