document.write (" 12582 ");