document.write (" 12259 ");