document.write (" 16142 ");