document.write('80392 ');