document.write (" 10580 ");