document.write (" 10259 ");