document.write (" 18138 ");