document.write (" 12269 ");