document.write (" 12235 ");