document.write (" 18942 ");