document.write (" 18031 ");