document.write (" 18042 ");