document.write (" 18131 ");