document.write (" 14259 ");