document.write (" 5259 ");