document.write (" 12262 ");