document.write (" 18442 ");