document.write (" 12588 ");