document.write (" 16342 ");