document.write (" 19142 ");