document.write (" 19580 ");