document.write (" 10235 ");