document.write (" 18235 ");